![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 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](https://www.pdfsearch.io/img/b9231332f32190089658789d24c9c9b7.jpg)
| Document Date: 1999-10-21 10:40:17 Open Document File Size: 388,99 KBShare 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 |