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

by Xavier Leroy
Venue:ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL