|
4
|
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
|
|
24
|
Rank 2 Type Systems and Recursive Definitions
– Trevor Jim
- 1995
|
|
88
|
What Are Principal Typings and What Are They Good For?
– Trevor Jim
- 1995
|
|
52
|
Explaining Type Inference
– Dominic Duggan, Frederick Bent
- 1995
|
|
24
|
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
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
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
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
4
|
Type Inference using Constraint Handling Rules
– Sandra Alves, Mário Florido
- 2001
|
