Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich. Safe zero-cost coercions for Haskell. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 189-202, ACM, 2014. [doi]
@inproceedings{BreitnerEJW14, title = {Safe zero-cost coercions for Haskell}, author = {Joachim Breitner and Richard A. Eisenberg and Simon L. Peyton Jones and Stephanie Weirich}, year = {2014}, doi = {10.1145/2628136.2628141}, url = {http://doi.acm.org/10.1145/2628136.2628141}, researchr = {https://researchr.org/publication/BreitnerEJW14}, cites = {0}, citedby = {0}, pages = {189-202}, booktitle = {Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014}, editor = {Johan Jeuring and Manuel M. T. Chakravarty}, publisher = {ACM}, isbn = {978-1-4503-2873-9}, }