Eliminating dependent pattern matching

Healfdene Goguen, Conor McBride, James McKinna

pp. 521-540


This document is unfortunately not available for download at the moment.

Not implemented yet !