Dinesh Katiyar David C. Luckham John C. Mitchell A Type System for Prototyping Languages. 138-150 1994 POPL db/conf/popl/popl94.html#KatiyarLM94