25 citations · 59 across the 17 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Ornela Dardha, Jurriaan Rot
This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 27th International Workshop on Expressiveness in Concurrency and the 17th Workshop on Structural Operational…
cs.LO2020
π with leftovers: a mechanisation in Agda
Uma Zalakain, Ornela Dardha
Linear type systems need to keep track of how programs use their resources. The standard approach is to use context splits specifying how resources are (disjointly) split across su…