Orlando / San Francisco / Pittsburgh / Rennes / Portland / Tucson / Copenhagen / 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 / /
NaturalFeature
FLINT / /
Organization
School of Computer Science / Congress / Cambridge University / National Science Foundation / Department of Computer Science / University of Edinburgh / Boston College / Carnegie Mellon University / Cornell University / /
Person
Chris Stone / Steve Zdancewic / F. Pfenning / Carsten Sch / Karl Crary Stephanie Weirich Greg / Greg Morrisett / Neal Glew / J. Despeyroux / Dave Walker / Fred Smith / /
Position
editor / R. Harper / and P. Lee / R. L. Constable / Constable / second author / Harper / /
Intensional Polymorphism in Type-Erasure Semantics∗ Karl Crary Stephanie Weirich Greg Morrisett