Skip to content

LOIS: syntax and semantics.

Eryk Kopczynski, Szymon Torunczyk

VenueA*POPL
Year2017
ProceedingsPOPL

Browse the full POPL paper archive.