Henning Makholm
On Jones-Optimal Specialization for Strongly Typed Languages
GPCE, 2000.
@inproceedings{SAIG-2000-Makholm, author = "Henning Makholm", booktitle = "{Proceedings of the First International Workshop on Semantics, Applications and Implementation of Program Generation}", doi = "10.1007/3-540-45350-4_11", isbn = "3-540-41054-6", pages = "129--148", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{On Jones-Optimal Specialization for Strongly Typed Languages}", volume = 1924, year = 2000, }