Back to Results
First PageMeta Content
Computing / Models of computation / Functional languages / Program analysis / Type system / Standard ML / Type safety / Typed assembly language / Lambda calculus / Software engineering / Type theory / Programming language theory


From System F to Typed Assembly Language GREG MORRISETT and DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University and
Add to Reading List

Document Date: 1999-10-21 10:40:17


Open Document

File Size: 388,99 KB

Share Result on Facebook

City

Pittsburgh / Ithaca / /

Company

Computing Machinery Inc. / /

Country

United States / /

Event

Product Issues / /

Facility

Upson Hall / Carnegie Mellon University / DAVID WALKER Cornell University KARL CRARY Carnegie Mellon University / /

IndustryTerm

secure extensible systems / active networks / copyright/server / type systems / extensible Web browsers / /

Organization

School of Computer Science / Carnegie Mellon University / National Science Foundation / Cornell University / Association for Computing Machinery / /

Person

DAVID WALKER / Peyton Jones / GREG MORRISETT / KARL CRARY / NEAL GLEW / /

Position

General / PCC programmer / Harper / /

Product

Pentax K-x Digital Camera / code / /

ProgrammingLanguage

Assembly Language / ML / Standard ML / K / Modula-3 / /

ProvinceOrState

Pennsylvania / /

TVStation

Wand / /

Technology

operating systems / /

SocialTag