Didier Le Botlan, Didier Rémy
ML<sup>Fsup>: raising ML to the power of system F
ICFP, 2003.
@inproceedings{ICFP-2003-BotlanR,
author = "Didier Le Botlan and Didier Rémy",
booktitle = "{Proceedings of the Eighth International Conference on Functional Programming}",
doi = "10.1145/944705.944709",
editor = "Colin Runciman and Olin Shivers",
isbn = "1-58113-756-7",
pages = "27--38",
publisher = "{ACM}",
title = "{MLF: raising ML to the power of system F}",
year = 2003,
}