Course: CMSC 32102 Topics in Concurrency Instructor: John Reppy Main text: Concurrent Programming in ML by John Reppy Cambridge University Press, 1999 Supplementary text: ML for the Working Programmer (2nd Edition) by L.C. Paulson Cambridge University Press, 1996 Time: TR 10:30-12:00 Room: Ry 251
This course is aimed at graduate students and advanced undergraduates who are interested in systems programming using high-level languages. The course will largely be based on the book "Concurrent Programming in ML." Topics that will be covered include: an overview of concurrent programming idioms, concurrent and distributed programming using Concurrent ML, implementation of high-level concurrent languages, and formal models of concurrency. There will be two modest programming projects.