Travelled to:1 × Canada
1 × USA
Collaborated with:S.Zdancewic L.Jia J.A.Vaughan J.Zhao L.Zarko J.Schorr
Talks about:lolliproc (1) program (1) languag (1) control (1) concurr (1) classic (1) linear (1) howard (1) author (1) logic (1)
Person: Karl Mazurak
DBLP: Mazurak:Karl
Contributed to:
20102008Wrote 2 papers:
- ICFP-2010-MazurakZ #concurrent #linear #logic #named
- Lolliproc: to concurrency from classical linear logic via curry-howard and control (KM, SZ), pp. 39–50.
- ICFP-2008-JiaVMZZSZ #named #programming language
- AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.