Thomas Hallgren hallgren@cse.ogi.edu
Mon, 28 Jan 2002 02:06:38 -0800

David Feuer wrote:

 >Has anyone written an efficient purely-functional
 >implementation of unification (for type checking)?
Well, if you have ever used hbc or nhc, you have used type checkers
containing purely functional implementations of unification. Purely
functional unification can be efficient enough for practical purposes...

Thomas H