Haskell overloading is dexptime-complete (1994)

by H Seidl
Venue:Inf. Process. Lett