Luc Maranget
From MaRDI portal
Person:453521
Available identifiers
zbMath Open maranget.lucMaRDI QIDQ453521
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 | 2023-06-28 | Paper |
| Implicit typing à la ML for the join-calculus | 2023-05-17 | Paper |
| Functional back-ends within the lambda-sigma calculus | 2016-09-01 | Paper |
| Optimizing pattern matching | 2015-03-09 | Paper |
| Fences in weak memory models | 2012-09-27 | Paper |
| Expressive synchronization types for inheritance in the join calculus. | 2010-01-05 | Paper |
| Algebraic Pattern Matching in Join Calculus | 2008-08-07 | Paper |
| Warnings for pattern matching | 2007-06-04 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| FUNCTIONAL PEARL Functional satisfaction | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472462 | 2004-08-04 | Paper |
| Inheritance in the join calculus. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501671 | 2000-09-04 | Paper |
| Functional runtime systems within the lambda-sigma calculus | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223020 | 1999-01-10 | Paper |
Research outcomes over time
This page was built for person: Luc Maranget
