Dominique Devriese, Frank Piessens
On the bright side of type classes: instance arguments in Agda
ICFP, 2011.
@inproceedings{ICFP-2011-DevrieseP,
author = "Dominique Devriese and Frank Piessens",
booktitle = "{Proceedings of the 16th International Conference on Functional Programming}",
doi = "10.1145/2034773.2034796",
editor = "Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy",
isbn = "978-1-4503-0865-6",
pages = "143--155",
publisher = "{ACM}",
title = "{On the bright side of type classes: instance arguments in Agda}",
year = 2011,
}