![Models of computation / Type theory / Symbol / Dynamical system / Lambda calculus / Type safety / Programming Computable Functions / Normalisation by evaluation / Theoretical computer science / Computer science / Software engineering Models of computation / Type theory / Symbol / Dynamical system / Lambda calculus / Type safety / Programming Computable Functions / Normalisation by evaluation / Theoretical computer science / Computer science / Software engineering](https://www.pdfsearch.io/img/8f0f59028c61e0ef529fcad7e5884043.jpg)
| Document Date: 2006-08-29 17:25:52 Open Document File Size: 303,95 KBShare Result on Facebook
City Portland / / Company Visual Basic.NET / / Currency pence / USD / / / Facility Functional Languages Jeremy G. Siek Walid Taha University / / IndustryTerm type systems / dynamic type systems / / Organization University of Colorado / GA PP / Rice University / CA PP / EA PP / / Person Thatte / Jeremy G. Siek Walid / / Position Type structure General / interpreter / Isabelle proof assistant / programmer / / ProgrammingLanguage Dylan / Common LISP / Visual Basic.NET / Java / Bigloo / / RadioStation EL AM / GL AM / TL AM / CL AM / QL AM / / Technology Functional Programming / dom / Java / /
SocialTag |