| 2008 |
|---|
| 23 | EE | Louis Mandel,
Luc Maranget:
Programming in JoCaml (Tool Demonstration).
ESOP 2008: 108-111 |
| 22 | EE | Luc Maranget:
Compiling pattern matching to good decision trees.
ML 2008: 35-46 |
| 21 | EE | Qin Ma,
Luc Maranget:
Algebraic pattern matching in join calculus
CoRR abs/0802.4018: (2008) |
| 2007 |
|---|
| 20 | EE | Luc Maranget:
Warnings for pattern matching.
J. Funct. Program. 17(3): 387-421 (2007) |
| 2006 |
|---|
| 19 | EE | Qin Ma,
Luc Maranget:
Information Hiding in the Join Calculus.
ASIAN 2006: 240-247 |
| 2005 |
|---|
| 18 | EE | Tomasz Blanc,
Jean-Jacques Lévy,
Luc Maranget:
Sharing in the Weak Lambda-Calculus.
Processes, Terms and Cycles 2005: 70-87 |
| 2004 |
|---|
| 17 | EE | Qin Ma,
Luc Maranget:
Compiling Pattern Matching in Join-Patterns.
CONCUR 2004: 417-431 |
| 16 | EE | Luc Maranget:
Functional satisfaction.
J. Funct. Program. 14(6): 647-656 (2004) |
| 2003 |
|---|
| 15 | EE | Qin Ma,
Luc Maranget:
Expressive Synchronization Types for Inheritance in the Join Calculus.
APLAS 2003: 20-36 |
| 14 | | Luc Maranget:
Les avertissements du filtrage.
JFLA 2003: 3-20 |
| 13 | EE | Cédric Fournet,
Cosimo Laneve,
Luc Maranget,
Didier Rémy:
Inheritance in the join calculus.
J. Log. Algebr. Program. 57(1-2): 23-69 (2003) |
| 2002 |
|---|
| 12 | EE | Cédric Fournet,
Fabrice Le Fessant,
Luc Maranget,
Alan Schmitt:
JoCaml: A Language for Concurrent Distributed and Mobile Programming.
Advanced Functional Programming 2002: 129-158 |
| 2001 |
|---|
| 11 | | Fabrice Le Fessant,
Luc Maranget:
Optimizing Pattern Matching.
ICFP 2001: 26-37 |
| 2000 |
|---|
| 10 | EE | Cédric Fournet,
Cosimo Laneve,
Luc Maranget,
Didier Rémy:
Inheritance in the Join Calculus.
FSTTCS 2000: 397-408 |
| 1999 |
|---|
| 9 | EE | Jean-Jacques Lévy,
Luc Maranget:
Explicit Substitutions and Programming Languages.
FSTTCS 1999: 181-200 |
| 1998 |
|---|
| 8 | EE | Fabrice Le Fessant,
Luc Maranget:
Compiling Join-Patterns.
Electr. Notes Theor. Comput. Sci. 16(3): (1998) |
| 7 | | Thérèse Hardin,
Luc Maranget:
Functional Runtime Systems Within the Lambda-Sigma Calculus.
J. Funct. Program. 8(2): 131-176 (1998) |
| 1997 |
|---|
| 6 | | Cédric Fournet,
Cosimo Laneve,
Luc Maranget,
Didier Rémy:
Implicit Typing à la ML for the Join-Calculus.
CONCUR 1997: 196-212 |
| 1996 |
|---|
| 5 | | Cédric Fournet,
Georges Gonthier,
Jean-Jacques Lévy,
Luc Maranget,
Didier Rémy:
A Calculus of Mobile Agents.
CONCUR 1996: 406-421 |
| 4 | | Thérèse Hardin,
Luc Maranget,
Bruno Pagano:
Functional Back-Ends within the Lambda-Sigma Calculus.
ICFP 1996: 25-33 |
| 1992 |
|---|
| 3 | EE | Luc Maranget:
Compiling Lazy Pattern Matching.
LISP and Functional Programming 1992: 21-31 |
| 1991 |
|---|
| 2 | | Luc Maranget:
GAML: a Parallel Implementation of Lazy ML.
FPCA 1991: 102-123 |
| 1 | | Luc Maranget:
Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems.
POPL 1991: 255-269 |
