Matthew Fluet†‡ Toyota Technological Institute / Cornell University / Toyota Technological Institute / Greg Morrisett Harvard University / Harvard University / /
IndustryTerm
plicative products / machinery / low-level systems / type systems / /
OperatingSystem
L3 / /
Organization
Harvard University / Toyota Technological Institute / Matthew Fluet†‡ Toyota Technological Institute / L3 / Cornell University / /
Person
Amal Ahmed / C QUAL / Matthew Fluet / Smith / Greg Morrisett / / /
Position
author / driver / Walker / qualifier / /
ProgrammingLanguage
Assembly Language / Standard ML / Clean programming language / Java / ML / /