Design and implementation of a simple typed language based on the Lambda Calculus
Ediciones (1)
- Design and implementation of a simple typed language based on the Lambda Calculus. (1985)
University of Cambridge, Computer Laboratory · inglés
University of Cambridge, Computer Laboratory · inglés