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

by X Leroy
Venue:In: Proc. ACM Symposium on Principles of Programming Languages