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

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

Adrian Francalanza, Gerard Tabone, Frank Pfenning · SCP · 2026 · session-types · DOI

Cite

Cite as @francalanza-2026-grits (helia, typst) · \cite{francalanza-2026-grits} (LaTeX)

BibTeX

bibtex · 1 line

@article{francalanza-2026-grits, title={Grits: A message-passing programming language based on the semi-axiomatic sequent calculus}, volume={248}, ISSN={0167-6423}, url={http://dx.doi.org/10.1016/j.scico.2025.103360}, DOI={10.1016/j.scico.2025.103360}, journal={Science of Computer Programming}, publisher={Elsevier BV}, author={Francalanza, Adrian and Tabone, Gerard and Pfenning, Frank}, year={2026}, month=Mar, pages={103360} }

hayagriva YAML (typst)

yaml · 18 lines

francalanza-2026-grits:
  type: article
  title: 'Grits: A message-passing programming language based on the semi-axiomatic sequent calculus'
  author:
  - Francalanza, Adrian
  - Tabone, Gerard
  - Pfenning, Frank
  date: 2026-03
  page-range: '103360'
  url: http://dx.doi.org/10.1016/j.scico.2025.103360
  serial-number:
    doi: 10.1016/j.scico.2025.103360
    issn: 0167-6423
  parent:
    type: periodical
    title: Science of Computer Programming
    publisher: Elsevier BV
    volume: 248

Download: francalanza-2026-grits.bib · francalanza-2026-grits.yml

Cites 23 works (1 here)

With notes (1)

Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax) francalanza-2024-implementingCoordination Models and Languages · 2024

DOI

External (22)

Grits: Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax) (artefact for Coordination'24) (2025)
Adjoint logic with applications (PhD thesis) (2024)
Lecture notes on Adjoint Functional Programming (OPLSS 2024) (2024)
ElixirST: a session-based type system for Elixir modules (2023)
Lecture notes on Semi-Axiomatic Sequent Calculus (15-836 course notes) (2023)
Ferrite: a judgmental embedding of session types in Rust (2022)
Rast: a language for resource-aware session types (2022)
A message-passing interpretation of adjoint logic (2021)
Resource-aware session types for digital contracts (2021)
Semi-axiomatic sequent calculus (2020)
Understanding real-world concurrency bugs in Go (2019)
A static verification framework for message passing in Go using behavioural types (2018)
Adjoint logic (unpublished manuscript) (2018)
Writing an Interpreter in Go (2018)
Manifest sharing with session types (2017)
Multiparty session actors (2017)
Type-Driven Development with Idris (2017)
An Erlang implementation of multiparty session actors (2016)
Lightweight session programming in Scala (2016)
Erlang Programming: A Concurrent Approach to Software Development (2009)
Subtyping for session types in the pi calculus (2005)
Effective Go - The Go Programming Language (https://go.dev/doc/effective_go#sharing)