Didier Rémy

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 3

Top Topics

Global Constraints

Top Venues

Proc. ACM Program. Lang.

Publications

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