Orlando / San Francisco / Pittsburgh / Rennes / Portland / Tucson / Amsterdam / Nancy / St. Petersburg / San Diego / Paris / /
Company
Cambridge University Press / North-Holland Publishing Co. / /
Country
France / /
Event
Delayed Filing / /
Facility
Carnegie Mellon University / University of Edinburgh / /
IndustryTerm
mixed-phase devices / computational devices / semantic devices / machinery / attendant machinery / elegant type systems / type systems / outermost operator / /
NaturalFeature
FLINT / /
Organization
School of Computer Science / Congress / Cambridge University / Department of Computer Science / University of Edinburgh / Boston College / Carnegie Mellon University / Cornell University / /
Person
F. Pfenning / Carsten Sch / Karl Crary Stephanie Weirich Greg / Greg Morrisett / J. Despeyroux / /
Position
editor / R. Harper / and P. Lee / R. L. Constable / Constable / Harper / /
Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett