{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:34:57Z","timestamp":1753889697035,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2008,3,21]],"date-time":"2008-03-21T00:00:00Z","timestamp":1206057600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/assumed-1991-2003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We propose an extension of the join calculus with pattern matching on\nalgebraic data types. Our initial motivation is twofold: to provide an\nintuitive semantics of the interaction between concurrency and pattern\nmatching; to define a practical compilation scheme from extended join\ndefinitions into ordinary ones plus ML pattern matching. To assess the\ncorrectness of our compilation scheme, we develop a theory of the applied join\ncalculus, a calculus with value passing and value matching. We implement this\ncalculus as an extension of the current JoCaml system.<\/jats:p>","DOI":"10.2168\/lmcs-4(1:7)2008","type":"journal-article","created":{"date-parts":[[2008,6,3]],"date-time":"2008-06-03T13:27:27Z","timestamp":1212499647000},"source":"Crossref","is-referenced-by-count":1,"title":["Algebraic Pattern Matching in Join Calculus"],"prefix":"10.46298","volume":"Volume 4, Issue 1","author":[{"given":"Qin","family":"Ma","sequence":"first","affiliation":[]},{"given":"Luc","family":"Maranget","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2008,3,21]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/770\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/770\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T19:55:42Z","timestamp":1681242942000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/770"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,21]]},"references-count":0,"URL":"https:\/\/doi.org\/10.2168\/lmcs-4(1:7)2008","relation":{"is-same-as":[{"id-type":"arxiv","id":"0802.4018","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.0802.4018","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2008,3,21]]},"article-number":"770"}}