Open source book dedicated to helping you to make the best possible sourdough bread at home.

Clever Algorithms: Nature-Inspired Programming Recipes

Research on integrating datalog & lambda calculus via monotonicity types

Statically typed embedding of miniKanren relational programming language into Objective Caml