16 Hindley/Milner Type Inference
17 Abstractions for Concurrency17.1 Signals and Monitors. . . . . . . . . 17.2 SyncVars. . . . . . . . . . . . . . . . 17.3 Futures. . . . . . . . . . . . . . . . . 17.4 Parallel Computations. . . . . . . . 17.5 Semaphores. . . . . . . . . . . . . . 17.6 Readers/Writers. . . . . . . . . . . . 17.7 Asynchronous Channels. . . . . . . 17.8 Synchronous Channels. . . . . . . . 17.9 Workers. . . . . . . . . . . . . . . . . 17.10Mailboxes. . . . . . . . . . . . . . . 17.11Actors. . . . . . . . . . . . . . . . . .