@inproceedings{177838,
 author = {Dinesh Katiyar and David Luckham and John Mitchell},
 title = {A type system for prototyping languages},
 booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1994},
 isbn = {0-89791-636-0},
 pages = {138--150},
 location = {Portland, Oregon, United States},
 doi = {http://doi.acm.org/10.1145/174675.177838},
 publisher = {ACM Press},
 }