paf31 / embedding-a-full-linear-lambda-calculus-in-haskell Goto Github PK
View Code? Open in Web Editor NEWEmbedding a Full Linear Lambda Calculus in Haskell
Home Page: http://functorial.com/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell/linearlam.pdf