Index

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

Recent changes
November, 9 2014
 
rss

Shortcuts

simple generators

BER MetaOCaml

extensible effects

Iteratee, Enumerator

tagless-final

Shonan Challenge

Hansei

LogicT

shift tutorial

generators, yield

delimcc

call/cc

delimited continuation

staging

regions

lazy non-determinism

typeclass

typed printf

polyvariadic function

zipper

SXML

SSAX

HList

macros

perfect random shuffle

Computation
fixpoints; CK macros; monads; programming as collaborative reference; UNIX pipes as IO monads Turing machines functional Makefile; IO monad realized in 1965; ...
Programming Languages
Haskell; ML; Scheme; Prolog; typed DSL; C/C++; Perl; Others; ...
Types
type arithmetic's; lightweight dependent types; 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; ...
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; ...
Lambda-calculus
calculators; negation; division; P-numerals; puzzles; ...
Logic
logical Frameworks; Twelf; impredicativity; strengthening in logical frameworks; eigen-variables: variables or constants?; computational law of excluded middle; type soundness proofs for calculi with delimited control; recursively enumerating binary arithmetic relations; ...
ML
code generation; delimited continuations; MetaOCaml; extra-polymorphism; typeclasses; generators; ...
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 ...
Scheme
XML; Web; macros; text and binary parsing; utilities; database interfaces; papers; ...
Probabilistic Programming
Hansei; Bayesian nets; HMM; population estimation; multi-target tracking; importance sampling; reversable parsing combinators; ...
XML
SXML; Iteratee parsers; SSAX; parsing; SXSLT; SXPath; typed SXML; ...
Non-determinism
LogicT; purely functional lazy non-deterministic programming; fair backtracking; declarative Logic Programming in ordinary languages; ...
Numerical Math
LinAlg; SVD; FFT; lazy matrices; matrix streams; code generation; ...
Meta-programming
staging; typed compilation; MetaHaskell; BER MetaOCaml; HPC; generating Gaussian Eliminators; FFT; stencil; ...
OS
ZipperFS/OS; HTTP VFS; layered I/O; sh agents; DreamOS; Speaking HTTP; ...
Linguistics
continuation semantics; extended abstract categorial grammar; quantifier scope; anaphora; ...
Image Processing
image compression; grayscale image processing; flight through clouds
Essays
information and entropy; computers and infinity; conference summaries; Principia Mathematica notes; ...