%0 Conference Paper %1 conf/ifl/SerranoH17 %A Serrano, Alejandro %A Hage, Jurriaan %B IFL %D 2017 %E Wu, Nicolas %I ACM %K dblp %P 2:1-2:15 %T Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2017.html#SerranoH17

@inproceedings{conf/ifl/SerranoH17, added-at = {2019-02-19T00:00:00.000+0100}, author = {Serrano, Alejandro and Hage, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/201d716fd34238d1cdcf95dccdbe49004/dblp}, booktitle = {IFL}, crossref = {conf/ifl/2017}, editor = {Wu, Nicolas}, ee = {https://doi.org/10.1145/3205368.3205370}, interhash = {ea5d49c0266cd2e298eaa2976dbb17f9}, intrahash = {01d716fd34238d1cdcf95dccdbe49004}, keywords = {dblp}, pages = {2:1-2:15}, publisher = {ACM}, timestamp = {2019-02-20T11:38:21.000+0100}, title = {Type Error Customization in GHC: Controlling expression-level type errors by type-level programming.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2017.html#SerranoH17}, year = 2017 }