EHicient applicative data types (1983)

by E W Myers
Venue:In Proc. Eleventh ACM Conference on Principles of Programming Lanr;uages