A Type System for Prototyping Languages (1994)

Cached

Download Links

by Dinesh Katiyar , David Luckham , John Mitchell
Venue:In 21st ACM Symp. Principles of Programming Languages
Citations:30 - 5 self