Haskell overloading is DEXPTIME-complete

Research output: Contribution to journalArticlepeer-review

63 Scopus citations
Original languageEnglish
Pages (from-to)57-60
Number of pages4
JournalInformation Processing Letters
Volume52
Issue number2
DOIs
StatePublished - 28 Oct 1994
Externally publishedYes

Keywords

  • Computational complexity
  • Emptiness
  • Haskell type classes

Cite this