Efficient Applicative Data Types (1984)

by E W Myers
Venue:In: POPL