What is the status of pattern matching in type theory (1993)

by Thierry Coquand, Jan Smith
Venue:In El Wintermte