[TYPES] A type theory with partially defined functions and pattern matching

[Yong Luo]

Since many have come to discuss partially defined functions and pattern
matching after I gave the talk in TYPES2006 last week.

There is a new version you can download from my home page if you are
interested. Comments and suggestions are welcome.

http://www.cs.kent.ac.uk/people/staff/yl41/TPF.ps

Yong
==============================
Dr. Yong Luo
Computing Laboratory
University of Kent