Skip to content

Monadic concurrent linear logic programming.

Pablo Lpez, Frank Pfenning, Jeff Polakow, Kevin Watkins

VenueCPPDP
Year2005
ProceedingsPPDP

Browse the full PPDP paper archive.