Shortcuts
taglessfinal
MetaOCaml
streams
staging
polymorphic type inference
extensible effects
typeclass
Algebra
lambda calculus
Iteratee, Enumerator
Freer monad
NBE
Shonan Challenge
strymonas
simple generators
LogicT
shift tutorial
delimcc
call/cc
lazy nondeterminism
Hakaru10
Hansei
zipper
SXML
SSAX
HList
macros
perfect random shuffle 
 Computation
 fixpoints;
Having an Effect;
monads;
programming as collaborative reference;
effects without monads;
Turing machines;
Markov algorithms;
Rtechnology;
CK macros;
generators vs. lazy evaluation;
IO monad realized in 1965;
grasping patterns;
the mystery of assignment is syntactic;
...
 Types
 Safe and Efficient, Now;
typeclasses;
polymorphic type inference;
HindleyMilner type inference course;
unusual polymorphism;
session types without sophistry;
eliminating existentials;
extensible effects;
region memory management for free variables;
type arithmetic;
...
 Metaprogramming
 staging; implementations;
Reconciling abstraction with high performance: A MetaOCaml
approach;
BER MetaOCaml;
genlet(rec);
languageintegrated query;
Staged Haskell;
generating Gaussian Eliminators;
impure but hygienic code generation;
FFT;
quines;
generating code with polymorphic let: A ballad of value restriction,
copying and sharing;
...
 Continuations
 implementations;
tutorials;
delimited vs. undelimited;
Eff directly in OCaml;
against call/cc;
generators;
zipper;
recursion from iteration;
delimited dynamic binding;
functional ununparsing;
...
 Logic
 recursively enumerating binary arithmetic relations;
logical frameworks;
Twelf;
impredicativity;
strengthening in logical frameworks;
eigenvariables: variables or constants?
type soundness proofs for calculi with delimited control;
...
 Algorithms and Data Structures
 fast prettyprinting;
breadthfirst labeling;
fast typealigned queues;
arithmetic compression;
scheduling;
transforming cyclical structures;
shuffling;
the Credit Card transform;
secure counting;
beyond Church encoding: BoehmBerarducci isomorphism;
fast embedding of postfix languages;
...
 Denotational Semantics
 query optimization;
not by equations alone;
normalizationbyevaluation;
compiling to combinators;
multiprompt delimited control;
taglessfinal optimizations, algebraically;
evaluators, normalizers, reducers: from denotational to operational
semantics;
referencetype vs. mutable variables;
...
 Probabilistic Programming
 Hansei; Hakaru10; Bayesian nets; HMM; population estimation;
MetropolisHastings for mixtures of conditional distributions;
problems of the lightweight implementation;
multitarget tracking; importance sampling;
reversible parsing combinators;
...
 Nondeterminism
 LogicT;
purely functional lazy nondeterministic programming;
fair backtracking;
rethinking Prolog;
reasoning with nondeterminism and state;
declarative Logic Programming in ordinary languages;
...
 Linguistics
 Lambek Grammars and ACG;
quantifier scope;
polynomial event semantics;
semantics of `same';
continuation semantics;
applicatives and monads;
Lambda: the ultimate syntaxsemantics interface;
...
 Essays
 in defense of effects;
information and entropy; computers and infinity;
conference summaries;
Principia Mathematica notes;
computing in good old days;
...

 Programming Languages
 Haskell;
ML;
Scheme;
Prolog;
typed DSL;
C++;
Perl;
Others
 lambda calculus
 many calculators and embeddings;
many predecessors;
new SKI translation: at last, compositional;
simplest polyvariadic fixpoint combinators;
alphaconversion is inevitable;
pairs, sums, lists, etc. in simplytyped calculus;
...
 ML
 extrapolymorphism;
typeclasses;
canonical structures;
MetaOCaml;
HList;
higherkinded bounded polymorphism;
type representations;
shell/AWK/Perllike scripting;
many embedded DSLs;
delimited continuations;
...
 Haskell
 logical type programming;
against lazy evaluation;
lightweight dependent types; keyword arguments;
HList; regions; set, restricted, etc. monads;
typelevel equality, disequality and introspection;
...
 Scheme
 XML; macros; text and binary parsing; utilities;
...
 XML
 SXML; iteratee parsers; SSAX; parsing; SXSLT; SXPath;
typed SXML; ...
 Numerical Math
 LinAlg; SVD; FFT; lazy matrices; matrix streams;
code generation;
...
 OS
 ZipperFS/OS; HTTP VFS; layered I/O; sh agents;
better than shell pipes;
DreamOS; Speaking HTTP; opening of extended file names; ...
 Image Processing
 image compression;
playground with array languages, plasma fractals;
grayscale image processing;
flight through clouds
 