Skip to content

Effect-dependent transformations for concurrent programs.

Nick Benton, Martin Hofmann, Vivek Nigam

VenueCPPDP
Year2016
ProceedingsPPDP

Browse the full PPDP paper archive.