Marvin H. Solomon
Type Definitions with Parameters
POPL, 1978.
@inproceedings{POPL-1978-Solomon,
author = "Marvin H. Solomon",
booktitle = "{Conference Record of the Fifth Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/512760.512765",
editor = "Alfred V. Aho and Stephen N. Zilles and Thomas G. Szymanski",
pages = "31--38",
publisher = "{ACM Press}",
title = "{Type Definitions with Parameters}",
year = 1978,
}











