![Type theory / Functional languages / Lambda calculus / Data types / Lisp programming language / Racket / System F / Type system / Typed lambda calculus / Software engineering / Programming language theory / Computing Type theory / Functional languages / Lambda calculus / Data types / Lisp programming language / Racket / System F / Type system / Typed lambda calculus / Software engineering / Programming language theory / Computing](https://www.pdfsearch.io/img/2563cec5e55b9b83fdc7e12bb915ae71.jpg)
| Document Date: 2015-04-01 12:20:12 Open Document File Size: 329,54 KBShare Result on Facebook
/ Facility M. Felleisen Northeastern University / / IndustryTerm type system machinery / trusted computing base / type systems / large applications / / Organization Mozilla Foundation / USAF / National Science Foundation / Northeastern University / eta / / Person Sam Tobin-Hochstadt / Matthias Felleisen / / Position editor / Scheme programmer / programmer / / Product SQL injection / / ProgrammingLanguage Haskell / Perl / Dylan / Ruby / Common Lisp / SQL / PLT Scheme / JavaScript / XML / L / / Technology XML / Perl / /
SocialTag |