Index

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

Recent changes
October, 10 2017
 
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; 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; multiple predecessors; 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
music of streams; 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; language-integrated 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; ...