UCalgary Peripatetic Seminar: Alexanna (Xanna) Little

  • Date: 08/02/2023
  • Time: 13:30
Alexanna (Xanna) Little

University of Calgary


Semantics for Non-Determinism in Categorical Message Passing Language


Categorical Message Passing Language (CaMPL) is a functional style concurrent programming language with a categorical semantics. In this talk, we explore the categorical semantics, programming syntax, and proof theory representations for CaMPL. This includes the sequential functions with input and output values (which become messages), concurrent processes, communication channels, message passing along channels between processes, and races which introduce non-determinism in CaMPL.

Other Information: 

Location: ICT 616

Time: 2.30pm Mountain/ 1.30pm Pacific