Thesis

Extensional polymorphism: Theory and Application.

All document (ps.gz)

Postscripts separated in chapters:

Chapter 1, Introduction
Chapter 2, Generic core system
Chapter 3, Compilation of GML
Chapter 4, Dynamic values
Chapter 5, Type safe value I/O
Chapter 6, Unification of dynamic values and safe value I/O
Chapter 7, Generic definitions
Chapter 8, Constraint typing
Chapter 9, Generic flow analysis
Chapter 10, Reconstruction of constraint typing
Chapter 11, Generic value extensions
Chapter 12, Conclusions

Defense slides

Slides used in the defense are available as a tex source and a dvi. I recommend to use the ADvi DVI previewer to see them.

G'Caml: implementation prototype

A prototype of extensional polymorphism as an O'Caml extension is also available.

Last modified: Mon Dec 23 14:01:07 CET 2002