Marvin H. Solomon. Type Definitions with Parameters. In POPL. pages 31-38, 1978.
@inproceedings{Solomon78:0, title = {Type Definitions with Parameters}, author = {Marvin H. Solomon}, year = {1978}, researchr = {https://researchr.org/publication/Solomon78%3A0}, cites = {0}, citedby = {0}, pages = {31-38}, booktitle = {POPL}, }