Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.

Thomas T. Hildebrandt, Hugo A. Lpez

Browse the full ICLP paper archive.