Copenhagen Programming Language
Polymorphic Algebraic Data Type Reconstruction
Katholieke Universiteit Leuven, Belgium
Thursday, November 9th, 15:00-16:00
DIKU, Universitetsparken 1, room N037
Traditional type inference aims at reconstructing type declarations given some type definitions. We present a rule-based constraint rewriting algorithm that reconstructs both type declarations and type definitions.
Our algorithm reconstructs uniform polymorphic definitions of algebraic data types and simultaneously infers the types of all expressions and functions (supporting polymorphic recursion) in the program. The declarative nature of the algorithm allows us to easily show that it has a number of highly desirable properties such as soundness, completeness and various optimality properties. Moreover, we show how to easily extend and adapt it to suit a number of different language constructs and type system features.
This is joint work with Maurice Bruynooghe, previously presented at PPDP 2006.
John Gallagher. Administrative host:
Camilla Jensen. All are welcome.
The Copenhagen Programming
Language Seminar (COPLAS) is a collaboration between DIKU,
ITU and KVL.
To receive information about COPLAS talks by email, send a message to
firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see