Karl Mazurak, Steve Zdancewic. Lolliproc: to concurrency from classical linear logic via curry-howard and control. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 39-50, ACM, 2010. [doi]
Abstract is missing.