denotational-semantics topic

language verification, construction, and analysis

joelburget

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

siraben

Formalization of the polymorphic lambda calculus and its parametricity theorem

Lysxia