3 citations · 7 across the 6 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
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…
cs.PL2024
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…
cs.PL2019★ 1 cited
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…