David Feuer David_Feuer@brown.edu
Mon, 28 Jan 2002 3:38:12 -0500

Has anyone written an efficient purely-functional 
implementation of unification (for type checking)?  If 
not, what makes it difficult to solve the problem in that 

David Feuer

This message has been brought to you by the letter alpha and the number pi.