Computation
fixpoints; CK macros; Having an Effect; 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; HindleyMilner type inference course; unusual polymorphism; eliminating existentials; ... 
Haskell
logical type programming; dependent types; keyword arguments; HList; stanamic properties; monads; regions; typelevel 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; ... 
Lambdacalculus
calculators; multiple predecessors; negation; division; Pnumerals; puzzles; ... 
Logic
logical Frameworks; Twelf; impredicativity; strengthening in logical frameworks; eigenvariables: variables or constants?; computational law of excluded middle; type soundness proofs for calculi with delimited control; recursively enumerating binary arithmetic relations; ... 
ML
music of streams; code generation; delimited continuations; MetaOCaml; extrapolymorphism; typeclasses; generators; ... 
Algorithms and Data Structures
prettyprinting; arithmetic compression; scheduling; transforming cyclical structures; shuffling; the Credit Card transform; secure counting; proving correctness of algorithms; tree annotation; beyond Church encoding: BoehmBerarducci isomorphism ... 
Scheme
XML; Web; macros; text and binary parsing; utilities; database interfaces; papers; ... 
Probabilistic Programming
Hansei; Bayesian nets; HMM; population estimation; multitarget tracking; importance sampling; reversable parsing combinators; ... 
XML
SXML; Iteratee parsers; SSAX; parsing; SXSLT; SXPath; typed SXML; ... 
Nondeterminism
LogicT; purely functional lazy nondeterministic programming; fair backtracking; declarative Logic Programming in ordinary languages; ... 
Numerical Math
LinAlg; SVD; FFT; lazy matrices; matrix streams; code generation; ... 
Metaprogramming
staging; typed compilation; languageintegrated query; MetaHaskell; BER MetaOCaml; HPC; generating Gaussian Eliminators; FFT; stencil; ... 
OS
ZipperFS/OS; HTTP VFS; layered I/O; sh agents; DreamOS; Speaking HTTP; ... 
Linguistics
transformational semantics; semantics of same ; continuation semantics; quantifier scope; anaphora; ... 
Image Processing
image compression; grayscale image processing; flight through clouds 
Essays
in defense of effects; information and entropy; computers and infinity; conference summaries; Principia Mathematica notes; ... 
