Pablo López Frank Pfenning Jeff Polakow Kevin Watkins Monadic concurrent linear logic programming. 35-46 2005 conf/ppdp/2005 PPDP http://doi.acm.org/10.1145/1069774.1069778 db/conf/ppdp/ppdp2005.html#LopezPPW05