output
20152023
most citedThe Sound Demixing Challenge 2023 $\unicode{x2013}$ Music Demixing Track

26 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2015★ 2 cited

Effect-Dependent Transformations for Concurrent Programs

Nick Benton, Martin Hofmann, Vivek Nigam

We describe a denotational semantics for an abstract effect system for a higher-order, shared-variable concurrent programming language. We prove the soundness of a number of genera…