20 citations · 32 across the 7 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2018
Mailbox Types for Unordered Interactions
Ugo de'Liguoro, Luca Padovani
We propose a type system for reasoning on protocol conformance and deadlock freedom in networks of processes that communicate through unordered mailboxes. We model these networks i…
cs.PL2016
Proceedings of the Workshop on Continuations
Olivier Danvy, Ugo de'Liguoro
The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and cons…
cs.PL2015★ 5 cited
Typing Classes and Mixins with Intersection Types
Jan Bessai, Boris Düdder, Andrej Dudenhefner +2
We study an assignment system of intersection types for a lambda-calculus with records and a record-merge operator, where types are preserved both under subject reduction and expan…