Didier Rémy

	2009
28		Benoît Montagu, Didier Rémy: Modeling abstract types in modules with open existential types. POPL 2009: 354-365
27		Didier Le Botlan, Didier Rémy: Recasting MLF. Inf. Comput. 207(6): 726-785 (2009)
	2008
26		Didier Rémy, Boris Yakobowski: From ML to MLF: graphic type constraints with efficient type inference. ICFP 2008: 63-74
	2007
25		Didier Rémy: MLF for everyone (users, implementers, and designers). ML 2007: 1-2
24		Didier Rémy, Boris Yakobowski: A graphical presentation of MLF types with a linear-time unification algorithm. TLDI 2007: 27-38
	2005
23		Didier Rémy: Simple, partial type-inference for System F based on type-containment. ICFP 2005: 130-143
22		Roberto Di Cosmo, François Pottier, Didier Rémy: Subtyping Recursive Types Modulo Associative Commutative Products. TLCA 2005: 179-193
	2003
21		Didier Le Botlan, Didier Rémy: MLF: raising ML to the power of system F. ICFP 2003: 27-38
20		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)
19		Didier Le Botlan, Didier Rémy: MLF: raising ML to the power of system F. SIGPLAN Notices 38(9): 27-38 (2003)
	2002
18		Kim B. Bruce, Didier Rémy: Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. 172(1): 1 (2002)
	2000
17		Didier Rémy: Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. APPSEM 2000: 413-536
16		Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Inheritance in the Join Calculus. FSTTCS 2000: 397-408
	1999
15		Franck Delaplace, Didier Rémy: PARADEIS: An Object Library for Parallel Sparse Array Computation. ACPC 1999: 153-162
14		Jacques Garrigue, Didier Rémy: Semi-Explicit First-Class Polymorphism for ML. Inf. Comput. 155(1-2): 134-169 (1999)
	1998
13		Didier Rémy: From Classes to Objects via Subtyping. ESOP 1998: 200-220
12		Didier Rémy, Jerome Vouillon: Objective ML: An Effective Object-Oriented Extension to ML. TAPOS 4(1): 27-50 (1998)
	1997
11		Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy: Implicit Typing à la ML for the Join-Calculus. CONCUR 1997: 196-212
10		Didier Rémy, Jerome Vouillon: Objective ML: A Simple Object-Oriented Extension of ML. POPL 1997: 40-53
9		Jacques Garrigue, Didier Rémy: Extending ML with Semi-Explicit Higher-Order Polymorphism. TACS 1997: 20-46
	1996
8		Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy: A Calculus of Mobile Agents. CONCUR 1996: 406-421
7		Didier Rémy: Synthèse de types dans les langages à objets. LMO 1996: 228-230
	1995
6		Carl A. Gunter, Didier Rémy, Jon G. Riecke: A Generalization of Exceptions and Control in ML-like Languages. FPCA 1995: 12-23
5		Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995)
	1994
4		Didier Rémy: Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. TACS 1994: 321-346
	1992
3		Didier Rémy: Projective ML. LISP and Functional Programming 1992: 66-75
2		Didier Rémy: Typing Record Concatenation for Free. POPL 1992: 166-176
	1989
1		Didier Rémy: Typechecking Records and Variants in a Natural Extension of ML. POPL 1989: 77-88

Coauthor Index

1	Martín Abadi	[5]
2	Didier Le Botlan	[19] [21] [27]
3	Kim B. Bruce	[18]
4	Luca Cardelli	[5]
5	Roberto Di Cosmo	[22]
6	Franck Delaplace	[15]
7	Cédric Fournet	[8] [11] [16] [20]
8	Jacques Garrigue	[9] [14]
9	Georges Gonthier	[8]
10	Carl A. Gunter	[6]
11	Cosimo Laneve	[11] [16] [20]
12	Jean-Jacques Lévy	[8]
13	Luc Maranget	[8] [11] [16] [20]
14	Benoît Montagu	[28]
15	Benjamin C. Pierce	[5]
16	François Pottier	[22]
17	Jon G. Riecke	[6]
18	Jérôme Vouillon (Jerome Vouillon)	[10] [12]
19	Boris Yakobowski	[24] [26]

Colors in the list of coauthors