First Page | Document Content | |
---|---|---|
![]() Date: 2009-07-12 22:21:53Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro | Add to Reading List |