Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints.

Thierry Martinez

Browse the full ICLP paper archive.