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

by D N Turner