Dinesh Katiyar, David C. Luckham, John C. Mitchell. A Type System for Prototyping Languages. In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 138-150, 1994.
@inproceedings{KatiyarLM94:0,
title = {A Type System for Prototyping Languages},
author = {Dinesh Katiyar and David C. Luckham and John C. Mitchell},
year = {1994},
tags = {type system, C++},
researchr = {https://researchr.org/publication/KatiyarLM94%3A0},
cites = {0},
citedby = {0},
pages = {138-150},
booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}