|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
25
|
Type classes and overloading resolution via ordersorted unification
– T Nipkow, G Snelting
- 1991
|
|
32
|
Order-sorted polymorphism in Isabelle
– T Nipkow
- 1993
|
|
37
|
Parametric Type Classes
– K Chen, P Hudak, M Odersky
- 1992
|
|
1497
|
The Definition of Standard ML
– R Milner, M Tofte, R Harper
- 1990
|
|
111
|
Type classes in Haskell
– Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
- 1996
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
53
|
Type inference in the presence of overloading, subtyping and recursive types
– Stefan Kaes
- 1992
|
|
727
|
On understanding types, data abstraction, and polymorphism
– Luca Cardelli, Peter Wegner
- 1985
|
|
221
|
Principal type schemes for functional programs
– L Damas, H Milner
- 1982
|
|
586
|
Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS
– T Nipkow, L C Paulson, M Wenzel
- 2002
|
|
216
|
Report on the programming language Haskell: A non-strict, purely functional language
– Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young
- 1992
|
|
134
|
Type Systems for Programming Language
– John C Mitchell
- 1990
|
|
16
|
HOLCF: Eine konservative Erweiterung von HOL um LCF
– F Regensburger
- 1994
|
|
257
|
Semantics of programming languages: structures and techniques. Foundations of Computing
– Carl A Gunter
- 1992
|
|
11
|
On the Complexity of ML Typability with Overloading
– Dennis Volpano, Geoffrey Smith
- 1991
|
|
13
|
Partially ordered sorts in algebraic specifications
– Martin Gogolla
- 1984
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
266
|
Abstract types have existential type
– John C Mitchell, Gordon D Plotkin
- 1988
|
