@inproceedings{199476,
 author = {Xavier Leroy},
 title = {Applicative functors and fully transparent higher-order modules},
 booktitle = {Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1995},
 isbn = {0-89791-692-1},
 pages = {142--153},
 location = {San Francisco, California, United States},
 doi = {http://doi.acm.org/10.1145/199448.199476},
 publisher = {ACM Press},
 }