A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Algebraic Pattern Matching in Join Calculus
2008
Logical Methods in Computer Science
Preserved Fulltext
Other Versions
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 between concurrency and pattern matching; to define a practical compilation scheme from extended join definitions into ordinary ones plus ML pattern matching. To assess the correctness of our compilation scheme, we develop a theory of the applied join calculus, a calculus with value passing and value matching. We
doi:10.2168/lmcs-4(1:7)2008
fatcat:ej5rbd3y4zckjbbt3rdte4cixa