Skip to content

Isomorphisms of generic recursive polynomial types.

Marcelo P. Fiore

VenueA*POPL
Year2004
ProceedingsPOPL

Browse the full POPL paper archive.