Luc Maranget
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A calculus of mobile agents CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| Implicit typing à la ML for the join-calculus CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| Functional back-ends within the lambda-sigma calculus Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
| Optimizing pattern matching Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Fences in weak memory models Formal Methods in System Design | 2012-09-27 | Paper |
| Expressive synchronization types for inheritance in the join calculus. Lecture Notes in Computer Science | 2010-01-05 | Paper |
| Algebraic Pattern Matching in Join Calculus Logical Methods in Computer Science | 2008-08-07 | Paper |
| Warnings for pattern matching Journal of Functional Programming | 2007-06-04 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity Lecture Notes in Computer Science | 2006-11-13 | Paper |
| CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science | 2005-08-23 | Paper |
| FUNCTIONAL PEARL <i>Functional satisfaction</i> Journal of Functional Programming | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 2080219 (Why is no real title available?) | 2004-08-04 | Paper |
| Inheritance in the join calculus. The Journal of Logic and Algebraic Programming | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1500649 (Why is no real title available?) | 2000-09-04 | Paper |
| Functional runtime systems within the lambda-sigma calculus Journal of Functional Programming | 1999-08-17 | Paper |
| scientific article; zbMATH DE number 1231691 (Why is no real title available?) | 1999-01-10 | Paper |
Research outcomes over time
This page was built for person: Luc Maranget
