3 citations · 3 across the 1 of their papers we have counts for
1 paper
Qin Ma, Luc Maranget
We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction…