Export or edit this event...

Galois Tech Talk: An Introduction to Communicating Haskell Processes

Galois, Inc
421 SW 6th Ave. Suite 300
Portland, OR 97204, US (map)



Haskell is an excellent language for combining the power of functional programming with imperative constructs. This characteristic led to the development of the Communicating Haskell Processes (CHP) libraries, which support imperative synchronous message-passing in Haskell. The core 'chp' library provides basic message-passing, concurrency and choice, as well as integrated support for tracing. The 'chp-plus' library provides higher-level features such as process composition operators and behaviour combinators. This talk provides an introduction to the two libraries and the programming style they engender -- as well as a brief look at the formal semantics underlying the libraries.