Overview
This page is under construction.
The framework's core purpose is the reconstruction of ADT type information from fully type-less programs. Extensions deal with partially typed programs and higher-order languages.
Related Publications and Presentations
- T. Schrijvers. Polymorphic Algebraic Data Type Reconstruction, invited talk: Copenhagen Programming Language Seminar, DIKU, Copenhagen, Denmark, November 11, 2006. [slides:pdf]
- T. Schrijves, M. Bruynooghe. Polymorphic Algebraic Data Type Reconstruction, PPDP 2006, Venice, Italy, July 10, 2006. [slides:pdf]
- T. Schrijvers, M. Bruynooghe. Towards Constraint-based Type Inference with Polymorphic Recursion for Functional and Logic Programs, IFL 2005, September 2005.
- M. Bruynooghe, J. Gallagher, W. Van Humbeeck. Inference of well-typing for logic programs with application to termination analysis, SAS 2005. [paper:pdf]
