Eva Rose
-
Linear-Time Self-Interpretation of the Pure Lambda Calculus
Higher-Order and Symbolic Computation
Lambda calculi and linear speedups
The essence of computation