| [1] |
Benoît Montagu and Didier Rémy.
A Logical Account of Type Generativity: Abstract types
have open existential types.
April 2008.
[ bib | See also | PDF | Abstract ] |
| [2] |
Didier Rémy and Boris Yakobowski.
Graphic Type Constraints and Efficient Type
Inference: from ML to MLF.
April 2008.
[ bib | See also | PDF | Abstract ] |
| [3] |
Didier Rémy and Boris Yakobowski.
Graphic Type Constraints and Efficient Type
Inference: from ML to MLF.
Extended version, April 2008.
[ bib | See also | PDF | Abstract ] |
| [4] |
Benoît Montagu and Didier Rémy.
Towards a Simpler Account of Modules and Generativity: Abstract
Types have Open Existential Types.
January 2008.
[ bib | See also | PDF | Abstract ] |
| [5] |
Didier Le Botlan and Didier Rémy.
Recasting MLF.
Research Report 6228, INRIA, Rocquencourt, BP 105, 78 153 Le Chesnay
Cedex, France, June 2007.
[ bib | See also | PDF | At Publisher's | .ps.gz | Abstract ] |
| [6] |
Didier Rémy and Boris Yakobowski.
A graphical presentation of MLF types with a linear-time
unification algorithm.
In TLDI'07: Proceedings of the 2007 ACM SIGPLAN International
Workshop on Types in Languages Design and Implementation, pages 27-38,
Nice, France, January 2007. ACM Press.
[ bib | See also | At Publisher's | Abstract ] |
| [7] |
Didier Rémy and Boris Yakobowski.
A graphical presentation of MLF types with a linear-time
incremental unification algorithm.
Extended version of [6], July
2006.
[ bib | See also | PDF | .ps.gz | Abstract ] |
| [8] |
Didier Rémy.
Simple, partial type-inference for System F based on
type-containment.
In Proceedings of the tenth International Conference on
Functional Programming, September 2005.
[ bib | See also | PDF | .ps.gz | Abstract ] |
| [9] |
Roberto Di Cosmo, François Pottier, and Didier Rémy.
Subtyping Recursive Types modulo Associative Commutative
Products.
In Seventh International Conference on Typed Lambda Calculi and
Applications (TLCA'05), Nara, Japan, April 2005.
[ bib | Long version .pdf | Long version | PDF | .ps.gz | Abstract ] |
| [10] |
François Pottier and Didier Rémy.
The Essence of ML Type Inference.
In Benjamin C. Pierce, editor, Advanced Topics in Types and
Programming Languages, chapter 10, pages 389-489. MIT Press, 2005.
[ bib | http ] |
| [11] |
Didier Le Botlan and Didier Rémy.
MLF: Raising ML to the power of System F.
In Proceedings of the Eighth ACM SIGPLAN International
Conference on Functional Programming, pages 27-38, August 2003.
[ bib | PDF | http | .dvi.gz | .ps.gz | Abstract ] |
| [12] |
François Pottier and Didier Rémy.
The Essence of ML Type Inference.
Extended preliminary version of [10], 2003.
[ bib | See also | .ps.gz ] |
| [13] |
Didier Rémy.
Using, Understanding, and Unraveling the OCaml
Language.
In Gilles Barthe, editor, Applied Semantics. Advanced
Lectures. LNCS 2395., pages 413-537. Springer Verlag, 2002.
[ bib | PDF | http | .ps.gz | Abstract ] |
| [14] |
Cédric Fournet, Luc Maranget, Cosimo Laneve, and Didier Rémy.
Inheritance in the Join Calculus.
In Foundations of Software Technology and Theoretical Computer
Science, volume 1974 of Lecture Notes in Computer Science. Springer,
December 2000.
[ bib | PDF | http | .ps.gz | Abstract ] |
| [15] |
Didier Rémy.
Re-exploring multiple inheritance.
Invited talk at FOOL'7, January 2000.
[ bib ] |
| [16] |
Jacques Garrigue and Didier Rémy.
Extending ML with Semi-Explicit Higher-Order Polymorphism.
Information and Computation, 155(1/2):134-169, 1999.
A preliminary version appeared in TACS'97.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [17] |
Didier Rémy and Jérôme Vouillon.
The reality of virtual types for free!
Unpublished note avaliable electronically, October 1998.
[ bib | http | .ps.gz | Abstract ] |
| [18] |
Didier Rémy.
From Classes to Objects via Subtyping.
A preliminary version appeared in LNCS 1381 (ESOP 98), June 1998.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [19] |
Didier Rémy.
From Classes to Objects via Subtyping.
In European Symposium On Programming, volume 1381 of
Lecture Notes in Computer Science. Springer, March 1998.
[ bib | .html | .html | Abstract ] |
| [20] |
Didier Rémy and Jérôme Vouillon.
Objective ML: An effective object-oriented extension to ML.
Theory And Practice of Object Systems, 4(1):27-50, 1998.
A preliminary version appeared in the proceedings of the 24th ACM
Conference on Principles of Programming Languages, 1997.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [21] |
Carl A. Gunter, Didier Rémy, and Jon G. Riecke.
Return types for Functional Continuations.
A preliminary version appeared as [29],
1998.
[ bib | Software | See also | .dvi.gz | .ps.gz | Abstract ] |
| [22] |
Didier Rémy.
Des enregistrements aux objets.
Mémoire d'habilitation à diriger des recherches,
Université de Paris 7, 1998.
[ bib | .ps.gz | Abstract ] |
| [23] |
Jacques Garrigue and Didier Rémy.
Extending ML with Semi-Explicit Higher-Order Polymorphism.
In International Symposium on Theoretical Aspects of Computer
Software, volume 1281 of Lecture Notes in Computer Science, pages
20-46. Springer, September 1997.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [24] |
Didier Rémy and Jérôme Vouillon.
Objective ML: A simple object-oriented extension of ML.
In Proceedings of the 24th ACM Conference on Principles of
Programming Languages, pages 40-53, Paris, France, January 1997.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [25] |
Cédric Fournet, Luc Maranget, Cosimo Laneve, and Didier Rémy.
Implicit typing à la ML for the join-calculus.
In 8th International Conference on Concurrency Theory
(CONCUR'97), volume 1243 of Lecture Notes in Computer Science, pages
196-212, Warsaw, Poland, 1997. Springer.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [26] |
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and
Didier Rémy.
A Calculus of Mobile Agents.
In 7th International Conference on Concurrency Theory
(CONCUR'96), volume 1119 of Lecture Notes in Computer Science, pages
406-421, Pisa, Italy, August 26-29 1996. Springer.
[ bib | .ps.gz | Abstract ] |
| [27] |
Didier Rémy.
A case study of typechecking with constrained types: Typing
record concatenation.
Presented at the workshop on Advances in types for computer science
at the Newton Institute, Cambridge, UK, August 1995.
[ bib | .dvi.gz | Abstract ] |
| [28] |
Didier Rémy.
Better subtypes and row variables for record types.
Presented at the workshop on Advances in types for computer science
at the Newton Institute, Cambridge, UK, August 1995.
[ bib | .dvi.gz | Abstract ] |
| [29] |
Carl A. Gunter, Didier Rémy, and Jon G. Riecke.
A Generalization of Exceptions and Control in ML.
In Proc. ACM Conf. on Functional Programming and Computer
Architecture, June 1995.
[ bib | http | .dvi.gz | .ps.gz | Abstract ] |
| [30] |
Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Didier Rémy.
Dynamic typing in polymorphic languages.
Journal of Functional Programming, 5(1):111-130, January 1995.
Also appeared as SRC Research Report 120. Preliminary version
appeared in the Proceedings of the ACM SigPlan Workshop on ML and its
Applications, June 1992.
[ bib | .ps.gz | Abstract ] |
| [31] |
Didier Rémy.
Programming Objects with ML-ART: An extension to ML with
Abstract and Record Types.
In Masami Hagiya and John C. Mitchell, editors, International
Symposium on Theoretical Aspects of Computer Software, number 789 in Lecture
Notes in Computer Science, pages 321-346, Sendai, Japan, April 1994.
Springer-Verlag.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [32] |
Benjamin C. Pierce, Didier Rémy, and David N. Turner.
A Typed Higher-Order Programming Language Based on the
Pi-Calculus.
A preliminary version was presented at the Workshop on Type Theory
and its Application to Computer Systems, Kyoto University, July 1993.
[ bib ] |
| [33] |
Didier Rémy.
Type Inference for Records in a Natural Extension of ML.
In Carl A. Gunter and John C. Mitchell, editors, Theoretical
Aspects Of Object-Oriented Programming. Types, Semantics and Language
Design. MIT Press, 1993.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [34] |
Didier Rémy.
Typing Record Concatenation for Free.
In Carl A. Gunter and John C. Mitchell, editors, Theoretical
Aspects Of Object-Oriented Programming. Types, Semantics and Language
Design. MIT Press, 1993.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [35] |
Carl A. Gunter and Didier Rémy.
A proof-theoretic assessment of runtime type errors.
Research Report 11261-921230-43TM, AT&T Bell Laboratories, 600
Mountain Ave, Murray Hill, NJ 07974-2070, 1993.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [36] |
Didier Rémy.
Syntactic Theories and the Algebra of Record Terms.
Research Report 1869, Institut National de Recherche en Informatique
et Automatisme, Rocquencourt, BP 105, 78 153 Le Chesnay Cedex, France, 1993.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [37] |
Didier Rémy.
Efficient Representation of Extensible Records.
In Proceedings of the 1992 workshop on ML and its
Applications, page 12, San Francisco, USA, June 1992.
[ bib | .dvi.gz | .ps.gz ] |
| [38] |
Didier Rémy.
Projective ML.
In 1992 ACM Conference on Lisp and Functional Programming,
pages 66-75, New-York, 1992. ACM press.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [39] |
Didier Rémy.
Typing Record Concatenation for Free.
In Nineteenth Annual Symposium on Principles Of Programming
Languages, pages 166-176, 1992.
[ bib | .dvi.gz | .ps.gz ] |
| [40] |
Didier Rémy.
Extending ML Type System with a Sorted Equational Theory.
Research Report 1766, Institut National de Recherche en Informatique
et Automatisme, Rocquencourt, BP 105, 78 153 Le Chesnay Cedex, France, 1992.
[ bib | .dvi.gz | .ps.gz | Abstract ] |
| [41] |
Didier Rémy.
Type Inference for Records in a natural Extension of ML.
Research Report 1431, Institut National de Recherche en Informatique
et Automatisme, Rocquencourt, BP 105, 78 153 Le Chesnay Cedex, France, May
1991.
See also [33] and [43].
[ bib | .dvi.gz | .ps.gz ] |
| [42] |
Didier Rémy.
Algèbres Touffues. Application au Typage Polymorphe des
Objets Enregistrements dans les Langages Fonctionnels.
Thèse de doctorat, Université de Paris 7, 1990.
[ bib | .ps.gz ] |
| [43] |
Didier Rémy.
Records and Variants as a natural Extension of ML.
In Sixteenth Annual Symposium on Principles Of Programming
Languages, 1989.
See also [33].
[ bib ] |
This file has been generated by bibtex2html 1.86.