Giters

paf31 / Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell

Embedding a Full Linear Lambda Calculus in Haskell

Home Page:http://functorial.com/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell/linearlam.pdf

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell

Jeff Polakow

About

Embedding a Full Linear Lambda Calculus in Haskell

http://functorial.com/Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell/linearlam.pdf