Haskell overloading is dexptime-complete (1994)

by Helmut Seidl, Fachbereich Informatik
Venue:Information Processing Letters