Dr. Dietmar Kreye 
Diplom-Informatiker


[-] Research
[-] Teaching
[-] Publications
[-] Bookshelf
 [=] Topics
 [-] Document Types
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

Types and Typesystems


[+] The Beauty and the BeastDownload Link (RelatedExternal Link)
Peter Achten; Rinus Plasmeijer (Technical Report, 1993)
[+] The Ins and Outs of Clean I/ODownload Link (RelatedExternal Link)
Peter Achten; Rinus Plasmeijer (Article, 1995)
[+] Implementing Haskell OverloadingDownload Link (RelatedExternal Link)
Lennart Augustsson (In Proceedings, 1993)
[own]
[-] Type Classes (RelatedExternal Link)
Stephen Blott (PhD Thesis, 1991)
[+] On Understanding Types, Data Abstraction, and PolymorphismDownload Link
Luca Cardelli; Peter Wegner (Article, 1985)
[own]
[-] Covariance and Contravariance: Conflict without a Cause
G. Castagna (Technical Report, 1994)
[+] A Calculus for Overloaded Functions with SubtypingDownload Link
G. Castagna; G. Ghelli; G. Longo (Article, 1995)
[-] Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design
Carl A. Gunter; John C. Mitchell (Book, 1994)
[+] Type Classes in HaskellDownload Link (RelatedExternal Link)
C. Hall; Kevin Hammond; Peyton Jones, Simon L.; Philip Wadler (Technical Report, 1992)
[+] Derivable Type ClassesDownload Link (RelatedExternal Link)
Ralf Hinze; Peyton Jones, Simon L. [Graham Hutton (Ed.)] (In Proceedings, 2000)
[-] A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
Mark P. Jones (In Proceedings, 1993)
[+] Dictionary-Free Overloading by Partial EvaluationDownload Link
Mark P. Jones (In Proceedings, 1994)
[own]
[+] Polymorphic Type Inference and AssignmentDownload Link
X. Leroy; P. Weis (In Proceedings, 1991)
[-] A Theory of Type Polymorphism in Programming
R. Milner (Article, 1987)
[-] Polymorphic Type Schemes and Recursive Definitions
A. Mycroft [M. Paul; B. Robinet (Eds.)] (In Proceedings, 1984)
[-] Object-Oriented Type Systems
J. Palsberg; M. I. Schwartzbach (Book, 1994)
[-] Implementing Type Classes
John Peterson; Mark P. Jones (In Proceedings, 1993)
[own]
[-] The Implementation of Functional Programming Languages
Peyton Jones, Simon L. (Book, 1987)
[own]
[+] Implementing Functional Languages: A TutorialDownload Link (RelatedExternal Link)
Peyton Jones, Simon L.; David R. Lester (Book, 1982)
[own]
[-] Types and Programming Languages
Benjamin C. Pierce (Book, 2002)
[+] Coercion as Homomorphism: Type Inference in a System with Subtyping and OverloadingDownload Link
Alex Shafarenko (In Proceedings, 2002)
[own]
[-] Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs (RelatedExternal Link)
Sjaak Smetsers; Erik Barendsen; Marco van Eeklen; Rinus Plasmeijer (Technical Report, 1993)
[-] How to Make ad-hoc Polymorphism Less ad hoc
Philip Wadler; S. Blott (In Proceedings, 1989)
[-] Linear Types Can Change the World!
Philip Wadler [M. Broy; C. B. Jones (Eds.)] (In Proceedings, 1990)
[+] Indizierte TypenDownload Link
Christoph Zenger (PhD Thesis, 1998)
[own]

Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004

Valid HTML 4.01!External Link    Valid CSS!External Link