9 citations · 22 across the 11 of their papers we have counts for
12 papers
The Session Abstract Machine (Extended Version)
Luís Caires, Bernardo Toninho
We build on a fine-grained analysis of session-based interaction as provided by the linear logic typing disciplines to introduce the SAM, an abstract machine for mechanically execu…
Ferrite: A Judgmental Embedding of Session Types in Rust
Ruo Fei Chen, Stephanie Balzer, Bernardo Toninho
\emph{Session types} have proved viable in expressing and verifying the protocols of message-passing systems. While message passing is a dominant concurrency paradigm in practice,…
Ferrite: A Judgmental Embedding of Session Types in Rust
Ruofei Chen, Stephanie Balzer, Bernardo Toninho
This paper introduces Ferrite, a shallow embedding of session types in Rust. In contrast to existing session type libraries and embeddings for mainstream languages, Ferrite not onl…
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)
Luís Caires, Bernardo Toninho
This work introduces the novel concept of kind refinement, which we develop in the context of an explicitly polymorphic ML-like language with type-level computation. Just as type r…
Domain-Aware Session Types (Extended Version)
Luís Caires, Jorge A. Pérez, Frank Pfenning +1
We develop a generalization of existing Curry-Howard interpretations of (binary) session types by relying on an extension of linear logic with features from hybrid logic, in partic…