Re: Pattern Match Success Changes Types

[Adrian Hey]

Just in case there's anybody else out there who's as ignorant about the
theory underlying type systems as I am, I've found that Luca Cardelli
has written something about these issues.
You can get this in Postscript :-( or PDF :-) from..
           http://www.luca.demon.co.uk/

This seems like a very good starting point.

Regards
-- 
Adrian Hey