HOPLA-A Higher-Order Process Language.

Mikkel Nygaard, Glynn Winskel

Browse the full CONCUR paper archive.