Jesper Cockx, Dominique Devriese, Frank Piessens. Pattern matching without K. 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 257-268, ACM, 2014. [doi]
@inproceedings{CockxDP14,
title = {Pattern matching without K},
author = {Jesper Cockx and Dominique Devriese and Frank Piessens},
year = {2014},
doi = {10.1145/2628136.2628139},
url = {http://doi.acm.org/10.1145/2628136.2628139},
researchr = {https://researchr.org/publication/CockxDP14},
cites = {0},
citedby = {0},
pages = {257-268},
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},
}