You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
649 B
24 lines
649 B
@inproceedings{inferno,
|
|
author = {François Pottier},
|
|
title = {{Hindley-Milner} elaboration in applicative style},
|
|
booktitle = {ICFP},
|
|
month = sep,
|
|
year = 2014,
|
|
url = {http://gallium.inria.fr/~fpottier/publis/fpottier-elaboration.pdf},
|
|
soft = {https://gitlab.inria.fr/fpottier/inferno},
|
|
}
|
|
|
|
@misc{inferno-code,
|
|
author = {François Pottier},
|
|
title = {the {Inferno} library: \url{https://gitlab.inria.fr/fpottier/inferno}},
|
|
year = 2014,
|
|
}
|
|
|
|
@techreport{composing-monads,
|
|
title = {Composing Monads},
|
|
author = {Mark P. Jones and Luc Duponcheel},
|
|
institution ={Yale University},
|
|
year = {1993},
|
|
number = {YALEU/DCS/RR-1004},
|
|
}
|