Algebraic Pattern Matching in Join Calculus

Details Algebraic Pattern Matching in Join Calculus Algebraic Pattern Matching in Join Calculus

2008-02-27

arxiv.org/abs/0802.4018v2

LMCS-2007-202

Computer Science

Programming Languages

Scientific paper

10.2168/LMCS-4(1:7)2008

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 implement this calculus as an extension of the current JoCaml system.

Affiliated with

Also associated with

No associations

Rating

Algebraic Pattern Matching in Join Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Algebraic Pattern Matching in Join Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algebraic Pattern Matching in Join Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-25888