The -calculus: Types, polymorphism and implementation (1996)

by D Turner