Dr. Dietmar Kreye
Diplom-Informatiker
|
|
|
|
|
|
Types and Typesystems
|
|
|
Type Classes (Related)
Stephen Blott (PhD Thesis, 1991)
|
|
|
Covariance and Contravariance:
Conflict without a Cause
G. Castagna (Technical Report, 1994)
|
|
|
Theoretical Aspects of Object-Oriented Programming:
Types, Semantics, and Language Design
Carl A. Gunter; John C. Mitchell (Book, 1994)
|
|
|
A System of Constructor Classes:
Overloading and Implicit Higher-Order Polymorphism
Mark P. Jones (In Proceedings, 1993)
|
|
|
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)
|
|
|
The Implementation of Functional Programming Languages
Peyton Jones, Simon L. (Book, 1987)
|
|
|
Types and Programming Languages
Benjamin C. Pierce (Book, 2002)
|
|
|
Guaranteeing Safe Destructive Updates through a
Type System with Uniqueness Information for Graphs (Related)
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)
|
|
|
|
Responsible for the content of this site:
Dietmar Kreye (My public PGP keys)
Last modified:
Nov 10, 2004
|
|