Search the dblp DataBase

Publications of Author

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