Index

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

Recent changes
December, 10 2018
 
rss

Shortcuts

extensible effects

BER MetaOCaml

Freer monad

tagless-final

strymonas

Iteratee, Enumerator

Shonan Challenge

simple generators

LogicT

shift tutorial

generators, yield

delimcc

call/cc

delimited continuation

staging

regions

lazy non-determinism

typeclass

typed printf

polyvariadic function

Hakaru10

Hansei

zipper

SXML

SSAX

HList

macros

perfect random shuffle

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 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; ...
Meta-programming
staging; typed compilation; language-integrated query; MetaHaskell; 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; ...
Probabilistic Programming
Hansei; Hakaru10; Bayesian nets; HMM; population estimation; multi-target tracking; importance sampling; reversable parsing combinators; ...
Numerical Math
LinAlg; SVD; FFT; lazy matrices; matrix streams; code generation; ...
Non-determinism
LogicT; purely functional lazy non-deterministic programming; fair backtracking; declarative Logic Programming in ordinary languages; ...
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; ...