Type-Directed Concurrency.

Deepak Garg, Frank Pfenning

Browse the full CONCUR paper archive.