the Yale Haskell Group, and the OGI School of Science & Engineering at OHSU. An overview of hugs extensions. Available electronically, 1994-2002. [Mil92] Dale Miller. Unification under a mixed prefix (1992)

by Mark P Jones, Alastair Reid
Venue:Journal of SymbolicComputation