Applicative functors and fully transparent higher-order modules (1995)

by X LEROY
Venue:In Principles of Programming Languages (POPL