A-0: stack-oriented computing
F-0: untyped lambda calculus