Eliminating dependent pattern matching without K

Jesper Cockx, Dominique Devriese, Frank Piessens. Eliminating dependent pattern matching without K. Journal of Functional Programming, 26, 2016. [doi]

Abstract

Abstract is missing.