Peter Thiemann, Martin Sulzmann
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
FLOPS, 2010.
@inproceedings{FLOPS-2010-ThiemannS,
author = "Peter Thiemann and Martin Sulzmann",
booktitle = "{Proceedings of the 10th International Symposium on Functional and Logic Programming}",
doi = "10.1007/978-3-642-12251-4_8",
isbn = "978-3-642-12250-7",
pages = "87--102",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Tag-Free Combinators for Binding-Time Polymorphic Program Generation}",
volume = 6009,
year = 2010,
}











