Johns Hopkins University / University Computer Science Department Indiana University Department / /
IndustryTerm
machinery / multi-stage systems / macro systems / permissive type systems / implementation technology / macro-processing tools / type systems / adequate solution / expressive systems / be achieved using such macro systems / /
Organization
Amr Sabry‡ Walid Taha§ Computer Science Department Indiana University Computer Science Department Indiana University Department / Johns Hopkins University / National Science Foundation / Yale University / /