Peter Thiemann, Manuel M. T. Chakravarty
Agda Meets Accelerate
IFL, 2012.
@inproceedings{IFL-2012-ThiemannC,
author = "Peter Thiemann and Manuel M. T. Chakravarty",
booktitle = "{Revised Selected Papers of the 24th International Symposium on Implementation and Application of Functional Languages}",
doi = "10.1007/978-3-642-41582-1_11",
isbn = "978-3-642-41581-4",
pages = "174--189",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Agda Meets Accelerate}",
volume = 8241,
year = 2012,
}