Didier Rémy - RankMe

45 papers A* 5A 8B 3C 1Misc 1Journal 14Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Avoiding Signature Avoidance in ML Modules with Zippers. Proc. ACM Program. Lang. Clement Blaudeau, Didier Rémy, Gabriel Radanne
2025	J	`jnl`	Omnidirectional type inference for ML: principality any way. CoRR Alistair O'Brien, Didier Rémy, Gabriel Scherer
2024	J	`jnl`	Fulfilling OCaml Modules with Transparency. Proc. ACM Program. Lang. Clement Blaudeau, Didier Rémy, Gabriel Radanne
2018	J	`jnl`	A principled approach to ornamentation in ML. Proc. ACM Program. Lang. Thomas Williams, Didier Rémy
2017	C	`conf`	Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk). Haskell Didier Rémy
2015	A	`conf`	Full Reduction in the Face of Absurdity. ESOP Gabriel Scherer, Didier Rémy
2015	A	`conf`	Which simple types have a unique inhabitant? ICFP Gabriel Scherer, Didier Rémy
2014	J	`jnl`	MLF: raising ML to the power of system F. ACM SIGPLAN Notices Didier Le Botlan, Didier Rémy
2014	—	`conf`	Ornaments in practice. WGP@ICFP Thomas Williams, Pierre-Évariste Dagand, Didier Rémy
2014	—	`conf`	System F with coercion constraints. CSL-LICS Julien Cretin, Didier Rémy
2013	B	`conf`	Ambivalent Types for Principal Type Inference with GADTs. APLAS Jacques Garrigue, Didier Rémy
2013	A	`conf`	GADTs Meet Subtyping. ESOP Gabriel Scherer, Didier Rémy
2013	J	`jnl`	GADTs meet subtyping CoRR Gabriel Scherer, Didier Rémy
2012	J	`jnl`	A church-style intermediate language for MLF. Theor. Comput. Sci. Didier Rémy, Boris Yakobowski
2012	J	`jnl`	GADT meet Subtyping CoRR Gabriel Scherer, Didier Rémy
2012	A*	`conf`	On the power of coercion abstraction. POPL Julien Cretin, Didier Rémy
2010	Misc	`conf`	A Church-Style Intermediate Language for ML FLOPS Didier Rémy, Boris Yakobowski
2009	A*	`conf`	Modeling abstract types in modules with open existential types. POPL Benoît Montagu, Didier Rémy
2009	J	`jnl`	Recasting MLF. Inf. Comput. Didier Le Botlan, Didier Rémy
2008	A	`conf`	From ML to ML ICFP Didier Rémy, Boris Yakobowski
2007	—	`conf`	A graphical presentation of ML TLDI Didier Rémy, Boris Yakobowski
2007	—	`conf`	ML ML Didier Rémy
2005	A	`conf`	Simple, partial type-inference for System F based on type-containment. ICFP Didier Rémy
2005	—	`conf`	Subtyping Recursive Types Modulo Associative Commutative Products. TLCA Roberto Di Cosmo, François Pottier, Didier Rémy
2003	J	`jnl`	Inheritance in the join calculus. J. Log. Algebraic Methods Program. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
2003	A	`conf`	ML ICFP Didier Le Botlan, Didier Rémy
2002	J	`jnl`	Guest Editorial: Foundations of Object-Oriented Languages. Inf. Comput. Kim B. Bruce, Didier Rémy
2000	—	`conf`	Inheritance in the Join Calculus. FSTTCS Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
2000	—	`conf`	Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. APPSEM Didier Rémy
1999	—	`conf`	PARADEIS: An Object Library for Parallel Sparse Array Computation. ACPC Franck Delaplace, Didier Rémy
1999	A	`ed.`	Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999. ICFP Didier Rémy, Peter Lee
1999	J	`jnl`	Semi-Explicit First-Class Polymorphism for ML. Inf. Comput. Jacques Garrigue, Didier Rémy
1998	A	`conf`	From Classes to Objects via Subtyping. ESOP Didier Rémy
1998	J	`jnl`	Objective ML: An Effective Object-Oriented Extension to ML. Theory Pract. Object Syst. Didier Rémy, Jerome Vouillon
1997	—	`conf`	Extending ML with Semi-Explicit Higher-Order Polymorphism. TACS Jacques Garrigue, Didier Rémy
1997	B	`conf`	Implicit Typing à la ML for the Join-Calculus. CONCUR Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
1997	A*	`conf`	Objective ML: A Simple Object-Oriented Extension of ML. POPL Didier Rémy, Jerome Vouillon
1996	B	`conf`	A Calculus of Mobile Agents. CONCUR Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
1996	—	`conf`	Synthèse de types dans les langages à objets. LMO Didier Rémy
1995	—	`conf`	A Generalization of Exceptions and Control in ML-like Languages. FPCA Carl A. Gunter, Didier Rémy, Jon G. Riecke
1995	J	`jnl`	Dynamic Typing in Polymorphic Languages. J. Funct. Program. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
1994	—	`conf`	Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. TACS Didier Rémy
1992	—	`conf`	Projective ML. LISP and Functional Programming Didier Rémy
1992	A*	`conf`	Typing Record Concatenation for Free. POPL Didier Rémy
1989	A*	`conf`	Typechecking Records and Variants in a Natural Extension of ML. POPL Didier Rémy