Alexanna (Xanna) Little

Date: August 2, 2023
Time: 2:30 pm - 3:30 pm
Location: ICT 616

Title: Semantics for Non-Determinism in Categorical Message Passing Language

Abstract: 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.