Skip to content

A Functional Representation of Data Structures with a Hole.

Yasuhiko Minamide

VenueA*POPL
Year1998
ProceedingsPOPL

Browse the full POPL paper archive.