@inproceedings{DBLP:conf/icfp/GhaniU03,
author = {Neil Ghani and
Tarmo Uustalu},
title = {Explicit substitutions and higher-order syntax},
booktitle = {MERLIN},
year = {2003},
ee = {http://doi.acm.org/10.1145/976571.976580},
crossref = {DBLP:conf/icfp/2003merlin},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfp/2003merlin,
title = {Eighth ACM SIGPLAN International Conference on Functional
Programming, Workshop on Mechanized reasoning about languages
with variable binding, MERLIN 2003, Uppsala, Sweden, August
2003},
booktitle = {MERLIN},
publisher = {ACM},
year = {2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}