Index

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

Recent changes
October, 11 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; ...