Summary Of: Categorical abstract machine

Encyclodia Page On: Categorical abstract machine

These Are Links To Other Documents

| copy editing | model of computation | applicative computing | supercombinators | de Bruijn’s | P. Landin’s | SECD machine | theory of computation | theory of computation | Cartesian closed category | combinatory logic | combinatory logic | recursion | lazy evaluation | call by name | call by value | lambda-conversion | combinatory logic | Combinatory logic | Typed lambda calculus | Cartesian closed category | Applicative computing systems | Anonymous recursion | Evaluation strategy | Explicit substitution | SKI combinator calculus | Unlambda | Currying | Caml | ISBN 5-89158-101-9 | Categories | Computational models | Applicative computing systems | Wikipedia articles needing copy edit from February 2009 | All articles needing copy edit |