Applicative functors and fully transparent, hig]ler-order modules (1995)

by Xavier Leroy
Venue:In Conference record of POPL ’95: 22nd A CM SIGPL.4 N-SIGA CT Symposium on Principles of Programming Languages. ACM