Haskell overloading is DEXPTIME-complete
Information processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 52. H. 2. Amsterdam [u.a.]: Elsevier 1994 S. 57 - 60
Erscheinungsjahr: 1994
ISBN/ISSN: 0020-0190
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |