Type Checking Type Classes (1993)

by Tobias Nipkow , Christian Prehofer
Venue:IN PROC. 20TH ACM SYMP. PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:31 - 3 self

Documents Related by Co-Citation

345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
28 Type Classes and Overloading Resolution via Order-Sorted Unification – Tobias Nipkow, Gregor Snelting - 1991
33 Order-sorted polymorphism in isabelle – Tobias Nipkow, Tu M√ľnchen - 1993
38 Parametric type classes – Kung Chen, Paul Hudak, Martin Odersky - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
939 A theory of type polymorphism in programming – Robin Milner - 1978
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
56 Type inference in the presence of overloading, subtyping, and recursive types – S Kaes - 1992
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
234 Principal type schemes for functional programs – R Milner - 1982
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
225 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
139 Type Systems for Programming Languages – J C Mitchell - 1990
18 HOLCF: Eine konservative Erweiterung von HOL um LCF – F Regensburger - 1994
267 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
12 On the complexity of ML typability with overloading – Dennis M Volpano, Geoffrey S Smith - 1991
13 Partially ordered sorts in algebraic specifications – Martin Gogolla - 1984
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988