Conor McBride, James McKinna. Functional pearl: I am not a number-I am a free variable. In Henrik Nilsson, editor, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004. pages 1-9, ACM, 2004. [doi]
@inproceedings{McBrideM04-0,
title = {Functional pearl: I am not a number-I am a free variable},
author = {Conor McBride and James McKinna},
year = {2004},
doi = {10.1145/1017472.1017477},
url = {http://doi.acm.org/10.1145/1017472.1017477},
researchr = {https://researchr.org/publication/McBrideM04-0},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004},
editor = {Henrik Nilsson},
publisher = {ACM},
}