Haskell overloading is dexptime-complete (1994)

Cached

Download Links

by Helmut Seidl , Fachbereich Informatik
Venue:Information Processing Letters
Citations:43 - 0 self

Active Bibliography

5 Inferring Recursive Data Types – David Mcallester
Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof – Martin Emms, Hans Leiß, Centrum Fur Informationsund - 1997
1 Reflections on complexity of ML type reconstruction – Tomasz Wierzbicki - 1997
7 Dependency Analysis for Standard ML – Matthias Blume - 1998
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
94 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
53 Explaining Type Inference – Dominic Duggan, Frederick Bent - 1995
Type Reconstruction for Type Classes 1 – Tobias Nipkow, Christian Prehofer, Tu München
23 Type Reconstruction for Type Classes – Tobias Nipkow, Christian Prehofer - 1995
Class Types – Carlos Camarao, Lucília Figueiredo - 1997
10 ML typing, explicit polymorphism and qualified types – Mark P. Jones - 1994
8 Combining Type Classes And Existential Types – Konstantin Läufer - 1994
12 A Type System for Computer Algebra – Philip S. Santas - 1994
5 The Semantics of SPECTRUM – Radu Grosu, Franz Regensburger - 1994
10 A Formal Foundation for Concurrent Object Oriented Programming – Radu Grosu, Alle Rechte Vorbehalten, Radu Grosu - 1994
15 The Logical Framework of SPECTRUM – Radu Grosu , Franz Regensburger
10 A code generator framework for Isabelle/HOL – Florian Haftmann, Tobias Nipkow - 2007
4 Type Inference using Constraint Handling Rules – Sandra Alves, Mário Florido - 2001
α Haskell-style type classes with Isabelle/Isar – Florian Haftmann - 2013