9 citations · 22 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…
cs.LO2019
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…