generated at
categorical abstract machine
Combinatory logic
Typed lambda calculus
Cartesian closed category
Applicative computing systems
Anonymous recursion
Evaluation strategy
explicit substitution
SKI combinator calculus
Unlambda
Currying
Caml
googlecategorical abstract machine
image categorical abstract machine
define categorical abstract machine
wikipedia categorical abstract machine
weblio categorical abstract machine
kotobank categorical abstract machine
jisho categorical abstract machine