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, }