Back to Results
First PageMeta Content
Computing / Standard ML / Pointer / Programming language semantics / Software engineering / Functional languages / Computer programming


Fundamenta Informaticae XXI–IOS Press
Add to Reading List

Document Date: 2007-08-15 03:03:16

Open Document

File Size: 955,18 KB

Share Result on Facebook

City

Cambridge / Chicago / Ithaca / /

/

Facility

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 / /

ProvinceOrState

Illinois / New York / Massachusetts / /

Technology

alpha / Java / /

SocialTag