James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris. The gentle art of levitation. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 3-14, ACM, 2010. [doi]
@inproceedings{ChapmanDMM10,
title = {The gentle art of levitation},
author = {James Chapman and Pierre-Évariste Dagand and Conor McBride and Peter Morris},
year = {2010},
doi = {10.1145/1863543.1863547},
url = {http://doi.acm.org/10.1145/1863543.1863547},
researchr = {https://researchr.org/publication/ChapmanDMM10},
cites = {0},
citedby = {0},
pages = {3-14},
booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
editor = {Paul Hudak and Stephanie Weirich},
publisher = {ACM},
isbn = {978-1-60558-794-3},
}