• Grits: A message-passing progr...

*Result*: Grits: A message-passing programming language based on the semi-axiomatic sequent calculus.

Title:
Grits: A message-passing programming language based on the semi-axiomatic sequent calculus.
Authors:
Francalanza, Adrian1 (AUTHOR) adrian.francalanza@um.edu.mt, Tabone, Gerard1 (AUTHOR) gerard.tabone@um.edu.mt, Pfenning, Frank2 (AUTHOR) fp@cs.cmu.edu
Source:
Science of Computer Programming. Mar2026, Vol. 248, pN.PAG-N.PAG. 1p.
Subject Terms:
*MESSAGE passing (Computer science), *PROGRAMMING languages, *INTUITIONISTIC type theory, *LOGIC, *PERIODICAL articles
Database:
Academic Search Index

*Further Information*

*This paper introduces Grits , a channel-based message-passing concurrent language based on the semi-axiomatic sequent calculus, a logical foundation underpinning intuitionistic session types. The language leverages modalities from adjoint logic to express a number of programming idioms such as broadcast communication and message cancellation. The Grits interpreter is developed using Go, and consists primarily of two components: a type-checker and an evaluator. [ABSTRACT FROM AUTHOR]*