Albert R. Meyer, Mark B. Reinhold. Type Is Not A Type. In POPL. pages 287-295, 1986.
@inproceedings{MeyerR86,
title = { Type Is Not A Type},
author = {Albert R. Meyer and Mark B. Reinhold},
year = {1986},
researchr = {https://researchr.org/publication/MeyerR86},
cites = {0},
citedby = {0},
pages = {287-295},
booktitle = {POPL},
}