This FTP site

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; ...