Robert Ennals. Verbose Typing. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 340, ACM, Baltimore, Maryland, United States, 1998. [doi]
@inproceedings{Ennals98a,
title = {Verbose Typing},
author = {Robert Ennals},
year = {1998},
doi = {10.1145/289423.289468},
url = {http://doi.acm.org/10.1145/289423.289468},
researchr = {https://researchr.org/publication/Ennals98a},
cites = {0},
citedby = {0},
pages = {340},
booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
address = {Baltimore, Maryland, United States},
publisher = {ACM},
}