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]
Abstract is missing.