Haskell overloading is DEXPTIME-complete (1994)

by H Seidl
Venue:Information Processing Letters