Nicolas Pouillard, François Pottier. A fresh look at programming with names and binders. 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 217-228, ACM, 2010. [doi]
@inproceedings{PouillardP10,
title = {A fresh look at programming with names and binders},
author = {Nicolas Pouillard and François Pottier},
year = {2010},
doi = {10.1145/1863543.1863575},
url = {http://doi.acm.org/10.1145/1863543.1863575},
tags = {programming},
researchr = {https://researchr.org/publication/PouillardP10},
cites = {0},
citedby = {0},
pages = {217-228},
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},
}