Skip to content

Implementing deterministic declarative concurrency using sieves.

Sam Lindley

VenueA*POPL
Year2007
ProceedingsDAMP

Browse the full POPL paper archive.