Luc Maranget

	2008
24		Louis Mandel, Luc Maranget: Programming in JoCaml (Tool Demonstration). ESOP 2008: 108-111
23		Luc Maranget: Compiling pattern matching to good decision trees. ML 2008: 35-46
22		Qin Ma, Luc Maranget: Algebraic pattern matching in join calculus CoRR abs/0802.4018: (2008)
21		Qin Ma, Luc Maranget: Algebraic Pattern Matching in Join Calculus. Logical Methods in Computer Science 4(1): (2008)
	2007
20		Luc Maranget: Warnings for pattern matching. J. Funct. Program. 17(3): 387-421 (2007)
	2006
19		Qin Ma, Luc Maranget: Information Hiding in the Join Calculus. ASIAN 2006: 240-247
	2005
18		Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget: Sharing in the Weak Lambda-Calculus. Processes, Terms and Cycles 2005: 70-87
	2004
17		Qin Ma, Luc Maranget: Compiling Pattern Matching in Join-Patterns. CONCUR 2004: 417-431
16		Luc Maranget: Functional satisfaction. J. Funct. Program. 14(6): 647-656 (2004)
	2003
15		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		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		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		Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the Join Calculus. FSTTCS 2000: 397-408
	1999
9		Jean-Jacques Lévy, Luc Maranget: Explicit Substitutions and Programming Languages. FSTTCS 1999: 181-200
	1998
8		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		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

Coauthor Index

1	Tomasz Blanc	[18]
2	Fabrice Le Fessant	[8] [11] [12]
3	Cédric Fournet	[5] [6] [10] [12] [13]
4	Georges Gonthier	[5]
5	Thérèse Hardin	[4] [7]
6	Cosimo Laneve	[6] [10] [13]
7	Jean-Jacques Lévy	[5] [9] [18]
8	Qin Ma	[15] [17] [19] [21] [22]
9	Louis Mandel	[24]
10	Bruno Pagano	[4]
11	Didier Rémy	[5] [6] [10] [13]
12	Alan Schmitt	[12]

Colors in the list of coauthors