Skip to content

Embedding a full linear Lambda calculus in Haskell.

Jeff Polakow

Year2015
ProceedingsHaskell

Browse the full HASKELL paper archive.