Programming Languages Seminar Yaron Minsky, Jane Street Capital Monday, November 16, 4:30 p.m Computer Science Room 302 Types and abstractions for concurrent programming This talk describes the design of Async, a monadic concurrency library for the OCaml programming language.