@MISC{Reppy92higher-orderconcurrency, author = {John Hamilton Reppy}, title = {Higher-order Concurrency}, year = {1992}}
types : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 14 2.3 Imperative features : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3.1 References : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 15 2.3.2 Exceptions : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 16 2.3.3 Continuations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 17 v 2.4 An example --- functional queues : : : : : : : : : : : : : : : : : : : : : : : : 18 II Design 19 3 Concurrent Programming Languages 21 3.1 Processes and threads : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 22 3.2 Shared-memory languages : : : : : : : : : : : : : : : : : : : : : : : : : : : : 23 3.2.1 Low-level synchronization mechanisms : : : : : : : : : : : : : : : : : 23 3.2.2 Monitors : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 25 3.2.3 Shared-memory concurrency and ML : : : : : : : : : : : : : : : : : 25 3.3 Distributed-memory l...