Skip to content

Linear types for computational effects.

Alex Simpson

VenueA*POPL
Year2009
ProceedingsPOPL

Browse the full POPL paper archive.