3 citations · 7 across the 6 of their papers we have counts for
6 papers
Thread and Memory-Safe Programming with CLASS
Luís Caires
CLASS is a proof-of-concept general purpose linear programming language, flexibly supporting realistic concurrent programming idioms, and featuring an expressive linear type system…
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…
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…
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions
Luís Caires, Jorge A. Pérez
Relating the specification of the global communication behavior of a distributed system and the specifications of the local communication behavior of each of its nodes/peers (e.g.,…
A Spatial-Epistemic Logic for Reasoning about Security Protocols
Bernardo Toninho, Luís Caires
Reasoning about security properties involves reasoning about where the information of a system is located, and how it evolves over time. While most security analysis techniques nee…