Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luc Maranget" ( http://dblp.L3S.de/Authors/Luc_Maranget )

  Author page on DBLP  Author page in RDF  Community of Luc Maranget in ASPL-2

Publication years (Num. hits)
1991-2003 (15) 2004-2012 (14)
Publication types (Num. hits)
article(8) inproceedings(21)
Venues (Conferences, Journals, ...)
CONCUR(3) J. Funct. Program.(3) CAV(2) FSTTCS(2) ICFP(2) Advanced Functional Programmin...(1) APLAS(1) ASIAN(1) CoRR(1) Electr. Notes Theor. Comput. S...(1) ESOP(1) Formal Methods in System Desig...(1) FPCA(1) J. Log. Algebr. Program.(1) JFLA(1) LISP and Functional Programmin...(1) More (+10 of total 22)
Authors
Luc Maranget(29) Cédric Fournet(5) Jade Alglave(5) Qin Ma 0002(5) Didier Rémy(4) Peter Sewell(4) Susmit Sarkar(4) Cosimo Laneve(3) Fabrice Le Fessant(3) Jean-Jacques Lévy(3) Thérèse Hardin(2) Alan Schmitt(1) Bruno Pagano(1) Derek Williams(1) Georges Gonthier(1) Louis Mandel(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 3 keywords
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell Fences in weak memory models (extended version). Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams Understanding POWER multiprocessors. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell Litmus: Running Tests against Hardware. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Luc Maranget Stability in Weak Memory Models. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell Fences in Weak Memory Models. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Qin Ma 0002, Luc Maranget Algebraic Pattern Matching in Join Calculus. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Qin Ma 0002, Luc Maranget Algebraic pattern matching in join calculus Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Luc Maranget Compiling pattern matching to good decision trees. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF match compilers, heuristics, decision trees
1Louis Mandel, Luc Maranget Programming in JoCaml (Tool Demonstration). Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luc Maranget Warnings for pattern matching. Search on Bibsonomy J. Funct. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Qin Ma 0002, Luc Maranget Information Hiding in the Join Calculus. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget Sharing in the Weak Lambda-Calculus. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luc Maranget Functional satisfaction. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Qin Ma 0002, Luc Maranget Compiling Pattern Matching in Join-Patterns. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy Inheritance in the join calculus. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luc Maranget Les avertissements du filtrage. Search on Bibsonomy JFLA The full citation details ... 2003 DBLP  BibTeX  RDF
1Qin Ma 0002, Luc Maranget Expressive Synchronization Types for Inheritance in the Join Calculus. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt JoCaml: A Language for Concurrent Distributed and Mobile Programming. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fabrice Le Fessant, Luc Maranget Optimizing Pattern Matching. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ML
1Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy Inheritance in the Join Calculus. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jean-Jacques Lévy, Luc Maranget Explicit Substitutions and Programming Languages. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fabrice Le Fessant, Luc Maranget Compiling Join-Patterns. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Thérèse Hardin, Luc Maranget Functional Runtime Systems Within the Lambda-Sigma Calculus. Search on Bibsonomy J. Funct. Program. The full citation details ... 1998 DBLP  BibTeX  RDF
1Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy Implicit Typing à la ML for the Join-Calculus. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy A Calculus of Mobile Agents. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thérèse Hardin, Luc Maranget, Bruno Pagano Functional Back-Ends within the Lambda-Sigma Calculus. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Luc Maranget Compiling Lazy Pattern Matching. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF ML
1Luc Maranget Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems. Search on Bibsonomy POPL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Luc Maranget GAML: a Parallel Implementation of Lazy ML. Search on Bibsonomy FPCA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.