Didier Rémy
Affiliations:- INRIA Paris, France
According to our database1,
Didier Rémy
authored at least 41 papers
between 1989 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
1
1
1
1
2
1
1
1
1
1
1
1
2
2
2
1
1
1
1
2
2
1
1
1
1
3
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Proc. ACM Program. Lang., 2025
2024
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
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015
Proceedings of the Programming Languages and Systems, 2015
2014
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014
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
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
2008
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
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007
2005
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005
2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
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
Proceedings of the Parallel Computation, 1999
1998
Objective ML: An Effective Object-Oriented Extension to ML.
Theory Pract. Object Syst., 1998
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
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997
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
1995
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995
1994
Proceedings of the Theoretical Aspects of Computer Software, 1994
1992
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992
Proceedings of the Conference on Lisp and Functional Programming, 1992
1989
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989