Adam J. Chlipala. Ur: statically-typed metaprogramming with type-level record computation. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 122-133, ACM, 2010. [doi]
@inproceedings{Chlipala10-0,
title = {Ur: statically-typed metaprogramming with type-level record computation},
author = {Adam J. Chlipala},
year = {2010},
doi = {10.1145/1806596.1806612},
url = {http://doi.acm.org/10.1145/1806596.1806612},
researchr = {https://researchr.org/publication/Chlipala10-0},
cites = {0},
citedby = {1},
pages = {122-133},
booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010},
editor = {Benjamin G. Zorn and Alexander Aiken},
publisher = {ACM},
isbn = {978-1-4503-0019-3},
}