|
Change #2202
2010-03-10
16:30:27
|
create
Calagator::Event
1250458415
Galois Tech Talk: An Introduction to Communicating Haskell Processes
Roll back
| description |
nil |
→ |
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. |
| end_time |
nil |
→ |
2010-03-15 11:30:00 -0700 |
| id |
nil |
→ |
1250458415 |
| start_time |
nil |
→ |
2010-03-15 10:30:00 -0700 |
| title |
nil |
→ |
Galois Tech Talk: An Introduction to Communicating Haskell Processes |
| url |
nil |
→ |
http://www.galois.com/blog/2010/03/10/tech-talk-an-introduction-to-communicating-haskell-processes/ |
| venue_id |
nil |
→ |
202390439 |
|