DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

Polymorphic Algebraic Data Type Reconstruction

Tom Schrijvers,
Katholieke Universiteit Leuven, Belgium

Thursday, November 9th, 15:00-16:00
DIKU, Universitetsparken 1, room N037

Abstract:

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.

Scientific host: 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 prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org