Computation
fixpoints; CK macros; Having an Effect; monads; programming as collaborative reference; Turing machines; IO monad realized in 1965; ... |
Programming Languages
Haskell; ML; Scheme; Prolog; typed DSL; C/C++; Perl; Others; ... |
Types
type arithmetic's; lightweight static guarantees; 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; ... |
Meta-programming
staging; typed compilation; language-integrated query; Staged Haskell; BER MetaOCaml; HPC; generating Gaussian Eliminators; FFT; stencil; ... |
Lambda-calculus
calculators; multiple predecessors; new SKI conversion; negation; division; P-numerals; puzzles; ... |
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; ... |
ML
music of streams; code generation; delimited continuations; MetaOCaml; extra-polymorphism; typeclasses; generators; ... |
Logic
logical Frameworks; Twelf; impredicativity; strengthening in logical frameworks; eigen-variables: variables or constants?; type soundness proofs for calculi with delimited control; recursively enumerating binary arithmetic relations; ... |
Scheme
XML; Web; macros; text and binary parsing; utilities; database interfaces; papers; ... |
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 ... |
XML
SXML; Iteratee parsers; SSAX; parsing; SXSLT; SXPath; typed SXML; ... |
Denotational Semantics
query optimization; compiling to combinators; multiprompt delimited control; tagless-final optimizations; normalization-by-evaluation; ... |
Numerical Math
LinAlg; SVD; FFT; lazy matrices; matrix streams; code generation; ... |
Probabilistic Programming
Hansei; Hakaru10; Bayesian nets; HMM; population estimation; multi-target tracking; importance sampling; reversable parsing combinators; ... |
OS
ZipperFS/OS; HTTP VFS; layered I/O; sh agents; DreamOS; Speaking HTTP; ... |
Non-determinism
LogicT; purely functional lazy non-deterministic programming; fair backtracking; declarative Logic Programming in ordinary languages; ... |
Image Processing
image compression; grayscale image processing; flight through clouds |
Linguistics
transformational semantics; semantics of same ; continuation semantics; quantifier scope; anaphora; ... |
|
Essays
in defense of effects; information and entropy; computers and infinity; conference summaries; Principia Mathematica notes; ... |
|