## Jeff Polakow

*Embedding a full linear Lambda calculus in Haskell*

Haskell, 2015.

@inproceedings{Haskell-2015-Polakow, author = "Jeff Polakow", booktitle = "{Proceedings of the Eighth International Symposium on Haskell}", doi = "10.1145/2804302.2804309", isbn = "978-1-4503-3808-0", pages = "177--188", publisher = "{ACM}", title = "{Embedding a full linear Lambda calculus in Haskell}", year = 2015, }