| λ calculus | machine memory ---------------------+---------------+------------------ language as given | Haskell | C ---------------------+---------------o------------------ language as medium | Common Lisp | Forth | |