Skip to content

Symmetric lenses.

Martin Hofmann, Benjamin C. Pierce, Daniel Wagner

VenueA*POPL
Year2011
ProceedingsPOPL

Browse the full POPL paper archive.