Index

Unless specified otherwise, all the code and the documentation on this site is in public domain

Recent changes
December, 3 2021
 
rss

Shortcuts

BER MetaOCaml

tagless-final

extensible effects

streams

Iteratee, Enumerator

Freer monad

Shonan Challenge

strymonas

simple generators

LogicT

shift tutorial

generators, yield

delimcc

call/cc

delimited continuation

staging

regions

lazy non-determinism

typeclass

typed printf

polyvariadic function

Hakaru10

Hansei

zipper

SXML

SSAX

HList

macros

perfect random shuffle

Computation
fixpoints; CK macros; Having an Effect; monads; programming as collaborative reference; Turing machines; IO monad realized in 1965; ...
Programming Languages
Haskell; ML; Scheme; Prolog; typed DSL; C/C++; Perl; Others; ...
Types
type arithmetic's; lightweight static guarantees; Hindley-Milner type inference course; unusual polymorphism; eliminating existentials; ...
Haskell
logical type programming; dependent types; keyword arguments; HList; stanamic properties; monads; regions; type-level equality, disequality and introspection; ...
Meta-programming
staging; typed compilation; language-integrated query; Staged Haskell; BER MetaOCaml; HPC; generating Gaussian Eliminators; FFT; stencil; ...
Lambda-calculus
calculators; multiple predecessors; new SKI conversion; negation; division; P-numerals; puzzles; ...
Continuations
implementations; tutorials; shift/reset in CBV and CBN; control/prompt; delimited and undelimited; generators; zipper; call/cc; deriving recursion from iteration; delimited dynamic binding; ...
ML
music of streams; code generation; delimited continuations; MetaOCaml; extra-polymorphism; typeclasses; generators; ...
Logic
logical Frameworks; Twelf; impredicativity; strengthening in logical frameworks; eigen-variables: variables or constants?; type soundness proofs for calculi with delimited control; recursively enumerating binary arithmetic relations; ...
Scheme
XML; Web; macros; text and binary parsing; utilities; database interfaces; papers; ...
Algorithms and Data Structures
pretty-printing; arithmetic compression; scheduling; transforming cyclical structures; shuffling; the Credit Card transform; secure counting; proving correctness of algorithms; tree annotation; beyond Church encoding: Boehm-Berarducci isomorphism ...
XML
SXML; Iteratee parsers; SSAX; parsing; SXSLT; SXPath; typed SXML; ...
Denotational Semantics
query optimization; compiling to combinators; multiprompt delimited control; tagless-final optimizations; normalization-by-evaluation; ...
Numerical Math
LinAlg; SVD; FFT; lazy matrices; matrix streams; code generation; ...
Probabilistic Programming
Hansei; Hakaru10; Bayesian nets; HMM; population estimation; multi-target tracking; importance sampling; reversable parsing combinators; ...
OS
ZipperFS/OS; HTTP VFS; layered I/O; sh agents; DreamOS; Speaking HTTP; ...
Non-determinism
LogicT; purely functional lazy non-deterministic programming; fair backtracking; declarative Logic Programming in ordinary languages; ...
Image Processing
image compression; grayscale image processing; flight through clouds
Linguistics
transformational semantics; semantics of same; continuation semantics; quantifier scope; anaphora; ...
 
Essays
in defense of effects; information and entropy; computers and infinity; conference summaries; Principia Mathematica notes; ...