The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luc Maranget: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002