Didier Rémy

Affiliations:
  • INRIA Paris, France


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
A principled approach to ornamentation in ML.
Proc. ACM Program. Lang., 2018

2017
Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk).
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2015
Which simple types have a unique inhabitant?
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Full Reduction in the Face of Absurdity.
Proceedings of the Programming Languages and Systems, 2015

2014
MLF: raising ML to the power of system F.
ACM SIGPLAN Notices, 2014

Ornaments in practice.
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

System F with coercion constraints.
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.
Proceedings of the Programming Languages and Systems, 2013

Ambivalent Types for Principal Type Inference with GADTs.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
A church-style intermediate language for MLF.
Theor. Comput. Sci., 2012

GADT meet Subtyping
CoRR, 2012

On the power of coercion abstraction.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010
A Church-Style Intermediate Language for ML<sup>F</sup>.
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009
Recasting MLF.
Inf. Comput., 2009

Modeling abstract types in modules with open existential types.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2008
From ML to ML<sup>F</sup>: graphic type constraints with efficient type inference.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007
A graphical presentation of ML<sup>F</sup> types with a linear-time unification algorithm.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

ML<sup>F</sup> for everyone (users, implementers, and designers).
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

2005
Subtyping Recursive Types Modulo Associative Commutative Products.
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Simple, partial type-inference for System F based on type-containment.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2003
Inheritance in the join calculus.
J. Log. Algebraic Methods Program., 2003

ML<sup>F</sup>: raising ML to the power of system F.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002
Guest Editorial: Foundations of Object-Oriented Languages.
Inf. Comput., 2002

2000
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa.
Proceedings of the Applied Semantics, International Summer School, 2000

1999
Semi-Explicit First-Class Polymorphism for ML.
Inf. Comput., 1999

PARADEIS: An Object Library for Parallel Sparse Array Computation.
Proceedings of the Parallel Computation, 1999

1998
Objective ML: An Effective Object-Oriented Extension to ML.
Theory Pract. Object Syst., 1998

From Classes to Objects via Subtyping.
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.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

Objective ML: A Simple Object-Oriented Extension of ML.
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.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Synthèse de types dans les langages à objets.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 1996

A Calculus of Mobile Agents.
Proceedings of the CONCUR '96, 1996

1995
Dynamic Typing in Polymorphic Languages.
J. Funct. Program., 1995

A Generalization of Exceptions and Control in ML-like Languages.
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.
Proceedings of the Theoretical Aspects of Computer Software, 1994

1992
Typing Record Concatenation for Free.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Projective ML.
Proceedings of the Conference on Lisp and Functional Programming, 1992

1989
Typechecking Records and Variants in a Natural Extension of ML.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989


  Loading...