Skip to content

Parametric completeness for separation theories.

James Brotherston, Jules Villard

VenueA*POPL
Year2014
ProceedingsPOPL

Browse the full POPL paper archive.