The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Didier Rémy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Didier Rémy
    Typechecking Records and Variants in a Natural Extension of ML. [Citation Graph (4, 0)][DBLP]
    POPL, 1989, pp:77-88 [Conf]
  2. Didier Rémy
    Typing Record Concatenation for Free. [Citation Graph (1, 0)][DBLP]
    POPL, 1992, pp:166-176 [Conf]
  3. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy
    Dynamic Typing in Polymorphic Languages. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1995, v:5, n:1, pp:111-130 [Journal]
  4. Didier Rémy
    Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:413-536 [Conf]
  5. Franck Delaplace, Didier Rémy
    PARADEIS: An Object Library for Parallel Sparse Array Computation. [Citation Graph (0, 0)][DBLP]
    ACPC, 1999, pp:153-162 [Conf]
  6. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
    A Calculus of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:406-421 [Conf]
  7. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
    Implicit Typing à la ML for the Join-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:196-212 [Conf]
  8. Didier Rémy
    From Classes to Objects via Subtyping. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:200-220 [Conf]
  9. Carl A. Gunter, Didier Rémy, Jon G. Riecke
    A Generalization of Exceptions and Control in ML-like Languages. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:12-23 [Conf]
  10. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
    Inheritance in the Join Calculus. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:397-408 [Conf]
  11. Didier Le Botlan, Didier Rémy
    MLF: raising ML to the power of system F. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:27-38 [Conf]
  12. Didier Rémy
    Simple, partial type-inference for System F based on type-containment. [Citation Graph (0, 0)][DBLP]
    ICFP, 2005, pp:130-143 [Conf]
  13. Didier Rémy
    Projective ML. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:66-75 [Conf]
  14. Didier Rémy, Jerome Vouillon
    Objective ML: A Simple Object-Oriented Extension of ML. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:40-53 [Conf]
  15. Didier Rémy
    Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:321-346 [Conf]
  16. Jacques Garrigue, Didier Rémy
    Extending ML with Semi-Explicit Higher-Order Polymorphism. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:20-46 [Conf]
  17. Roberto Di Cosmo, François Pottier, Didier Rémy
    Subtyping Recursive Types Modulo Associative Commutative Products. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:179-193 [Conf]
  18. Didier Rémy, Boris Yakobowski
    A graphical presentation of MLF types with a linear-time unification algorithm. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:27-38 [Conf]
  19. Didier Rémy
    Synthèse de types dans les langages à objets. [Citation Graph (0, 0)][DBLP]
    LMO, 1996, pp:228-230 [Conf]
  20. Kim B. Bruce, Didier Rémy
    Guest Editorial: Foundations of Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:1, pp:1- [Journal]
  21. Jacques Garrigue, Didier Rémy
    Semi-Explicit First-Class Polymorphism for ML. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:155, n:1-2, pp:134-169 [Journal]
  22. Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
    Inheritance in the join calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:57, n:1-2, pp:23-69 [Journal]
  23. Didier Rémy, Jerome Vouillon
    Objective ML: An Effective Object-Oriented Extension to ML. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1998, v:4, n:1, pp:27-50 [Journal]
  24. Didier Rémy
    MLF for everyone (users, implementers, and designers). [Citation Graph (0, 0)][DBLP]
    ML, 2007, pp:1-2 [Conf]

  25. A Church-Style Intermediate Language for MLF. [Citation Graph (, )][DBLP]


  26. From ML to MLF: graphic type constraints with efficient type inference. [Citation Graph (, )][DBLP]


  27. Modeling abstract types in modules with open existential types. [Citation Graph (, )][DBLP]


Search in 1.931secs, Finished in 1.932secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002