Isomorphisms of Generic Recursive Polynomial Types

Marcelo Fiore

To appear at Principles of Programming Languages (POPL04), Venice, Italy, January 14-16, 2004


This work gives the first decidability results on type isomorphism for recursive types, establishing the explicit decidability of type isomorphism for the type theory of sums and products over an inhabited generic recursive polynomial type. The technical development also gives the first connection between themes in programming language theory (type isomorphism) and computational algebra (Grobner bases).

Server START Conference Manager
Update Time 19 Sep 2003 at 17:40:43
Start Conference Manager
Conference Systems