Lolliproc: to concurrency from classical linear logic via curry-howard and control.

Karl Mazurak, Steve Zdancewic

Browse the full ICFP paper archive.