A Type System for Prototyping Languages.

Dinesh Katiyar, David C. Luckham, John C. Mitchell

Browse the full POPL paper archive.