Extensional polymorphism: Theory and Application.

All document (ps.gz)

Postscripts separated in chapters:

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.
Jun Furuse
Last modified: Mon Dec 23 14:01:07 CET 2002