21 citations · 32 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Modular Denotational Semantics for Effects with Guarded Interaction Trees
Dan Frumin, Amin Timany, Lars Birkedal
We present guarded interaction trees -- a structure and a fully formalized framework for representing higher-order computations with higher-order effects in Coq, inspired by domain…
cs.PL2023★ 1 cited
A Minimal Formulation of Session Types: The Sessions of Trios in Concert
Alen Arslanagić, Jorge A. Pérez, Dan Frumin
Session types are a type-based approach to the verification of message-passing programs. They specify communication structures essential to enforcing program correctness; by relyin…