Submissions by danghica

So what is a “pure programming language” anyway?

Basic introduction to functional programming using OCaml

Compilers are lazy denotational interpreters

A simple proof checker to use in teaching

Algebraic knot theory for kids: equations

The limits of type theory: computation vs. interaction