Didier Rémy

According to our database, Didier Rémy authored at least 39 papers between 1989 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

A principled approach to ornamentation in ML.

Thomas Williams, Didier Rémy

Proc. ACM Program. Lang., 2018

2017

Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk).

Didier Rémy

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2015

Which simple types have a unique inhabitant?

Gabriel Scherer, Didier Rémy

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Full Reduction in the Face of Absurdity.

Gabriel Scherer, Didier Rémy

Proceedings of the Programming Languages and Systems, 2015

2014

MLF: raising ML to the power of system F.

Didier Le Botlan, Didier Rémy

ACM SIGPLAN Notices, 2014

Ornaments in practice.

Thomas Williams, Pierre-Évariste Dagand, Didier Rémy

Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

System F with coercion constraints.

Julien Cretin, Didier Rémy

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

GADTs Meet Subtyping.

Gabriel Scherer, Didier Rémy

Proceedings of the Programming Languages and Systems, 2013

Ambivalent Types for Principal Type Inference with GADTs.

Jacques Garrigue, Didier Rémy

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

A church-style intermediate language for MLF.

Didier Rémy, Boris Yakobowski

Theor. Comput. Sci., 2012

GADT meet Subtyping

Gabriel Scherer, Didier Rémy

CoRR, 2012

On the power of coercion abstraction.

Julien Cretin, Didier Rémy

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

A Church-Style Intermediate Language for ML^F.

Didier Rémy, Boris Yakobowski

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Recasting MLF.

Didier Le Botlan, Didier Rémy

Inf. Comput., 2009

Modeling abstract types in modules with open existential types.

Benoît Montagu, Didier Rémy

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008

From ML to ML^F: graphic type constraints with efficient type inference.

Didier Rémy, Boris Yakobowski

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A graphical presentation of ML^F types with a linear-time unification algorithm.

Didier Rémy, Boris Yakobowski

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

ML^F for everyone (users, implementers, and designers).

Didier Rémy

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

2005

Subtyping Recursive Types Modulo Associative Commutative Products.

Roberto Di Cosmo, François Pottier, Didier Rémy

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Simple, partial type-inference for System F based on type-containment.

Didier Rémy

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2003

Inheritance in the join calculus.

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy

J. Log. Algebraic Methods Program., 2003

ML^F: raising ML to the power of system F.

Didier Le Botlan, Didier Rémy

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Guest Editorial: Foundations of Object-Oriented Languages.

Kim B. Bruce, Didier Rémy

Inf. Comput., 2002

2000

Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa.

Didier Rémy

Proceedings of the Applied Semantics, International Summer School, 2000

1999

Semi-Explicit First-Class Polymorphism for ML.

Jacques Garrigue, Didier Rémy

Inf. Comput., 1999

PARADEIS: An Object Library for Parallel Sparse Array Computation.

Franck Delaplace, Didier Rémy

Proceedings of the Parallel Computation, 1999

1998

Objective ML: An Effective Object-Oriented Extension to ML.

Didier Rémy, Jerome Vouillon

Theory Pract. Object Syst., 1998

From Classes to Objects via Subtyping.

Didier Rémy

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

Extending ML with Semi-Explicit Higher-Order Polymorphism.

Jacques Garrigue, Didier Rémy

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Objective ML: A Simple Object-Oriented Extension of ML.

Didier Rémy, Jerome Vouillon

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

Implicit Typing à la ML for the Join-Calculus.

Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Synthèse de types dans les langages à objets.

Didier Rémy

Proceedings of the Actes des journéees Langages et Modèles à Objets, 1996

A Calculus of Mobile Agents.

Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy

Proceedings of the CONCUR '96, 1996

1995

Dynamic Typing in Polymorphic Languages.

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy

J. Funct. Program., 1995

A Generalization of Exceptions and Control in ML-like Languages.

Carl A. Gunter, Didier Rémy, Jon G. Riecke

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types.

Didier Rémy

Proceedings of the Theoretical Aspects of Computer Software, 1994

1992

Typing Record Concatenation for Free.

Didier Rémy

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Projective ML.

Didier Rémy

Proceedings of the Conference on Lisp and Functional Programming, 1992

1989

Typechecking Records and Variants in a Natural Extension of ML.

Didier Rémy

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989