Applicative Functors and Fully Transparent Higher-Order Modules

Xavier Leroy. Applicative Functors and Fully Transparent Higher-Order Modules. In POPL. pages 142-153, 1995.

Bibliographies