Search results for "Didier Rémy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Julien Cretin, Didier Rémy	On the power of coercion abstraction.	POPL	2012	DBLP DOI BibTeX RDF
1	Didier Rémy, Boris Yakobowski	A Church-Style Intermediate Language for MLF.	FLOPS	2010	DBLP DOI BibTeX RDF
1	Didier Le Botlan, Didier Rémy	Recasting MLF.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
1	Benoît Montagu, Didier Rémy	Modeling abstract types in modules with open existential types.	POPL	2009	DBLP DOI BibTeX RDF	linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
1	Didier Rémy, Boris Yakobowski	From ML to MLF: graphic type constraints with efficient type inference.	ICFP	2008	DBLP DOI BibTeX RDF	type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF
1	Didier Rémy	MLF for everyone (users, implementers, and designers).	ML	2007	DBLP DOI BibTeX RDF	graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF
1	Didier Rémy, Boris Yakobowski	A graphical presentation of MLF types with a linear-time unification algorithm.	TLDI	2007	DBLP DOI BibTeX RDF	system SF, graphs, types, unification, binders, MLF
1	Roberto Di Cosmo, François Pottier, Didier Rémy	Subtyping Recursive Types Modulo Associative Commutative Products.	TLCA	2005	DBLP DOI BibTeX RDF
1	Didier Rémy	Simple, partial type-inference for System F based on type-containment.	ICFP	2005	DBLP DOI BibTeX RDF	type containment, type reconstruction, polymorphism, type inference, System F, elaboration
1	Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy	Inheritance in the join calculus.	J. Log. Algebr. Program.	2003	DBLP DOI BibTeX RDF
1	Didier Le Botlan, Didier Rémy	MLF: raising ML to the power of system F.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
1	Didier Le Botlan, Didier Rémy	MLF: raising ML to the power of system F.	ICFP	2003	DBLP DOI BibTeX RDF	first-class polymorphism, second-order polymorphism, type annotations, ML, type inference, system F
1	Kim B. Bruce, Didier Rémy	Guest Editorial: Foundations of Object-Oriented Languages.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
1	Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy	Inheritance in the Join Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
1	Didier Rémy	Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa.	APPSEM	2000	DBLP DOI BibTeX RDF
1	Jacques Garrigue, Didier Rémy	Semi-Explicit First-Class Polymorphism for ML.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
1	Franck Delaplace, Didier Rémy	PARADEIS: An Object Library for Parallel Sparse Array Computation.	ACPC	1999	DBLP DOI BibTeX RDF
1	Didier Rémy, Jerome Vouillon	Objective ML: An Effective Object-Oriented Extension to ML.	TAPOS	1998	DBLP BibTeX RDF
1	Didier Rémy	From Classes to Objects via Subtyping.	ESOP	1998	DBLP DOI BibTeX RDF
1	Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy	Implicit Typing à la ML for the Join-Calculus.	CONCUR	1997	DBLP DOI BibTeX RDF
1	Jacques Garrigue, Didier Rémy	Extending ML with Semi-Explicit Higher-Order Polymorphism.	TACS	1997	DBLP DOI BibTeX RDF
1	Didier Rémy, Jerome Vouillon	Objective ML: A Simple Object-Oriented Extension of ML.	POPL	1997	DBLP DOI BibTeX RDF	ML
1	Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy	A Calculus of Mobile Agents.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Didier Rémy	Synthèse de types dans les langages à objets.	LMO	1996	DBLP BibTeX RDF
1	Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy	Dynamic Typing in Polymorphic Languages.	J. Funct. Program.	1995	DBLP DOI BibTeX RDF
1	Carl A. Gunter, Didier Rémy, Jon G. Riecke	A Generalization of Exceptions and Control in ML-like Languages.	FPCA	1995	DBLP BibTeX RDF
1	Didier Rémy	Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types.	TACS	1994	DBLP DOI BibTeX RDF
1	Didier Rémy	Typing Record Concatenation for Free.	POPL	1992	DBLP DOI BibTeX RDF	ML
1	Didier Rémy	Projective ML.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
1	Didier Rémy	Typechecking Records and Variants in a Natural Extension of ML.	POPL	1989	DBLP DOI BibTeX RDF	ML

Publications of "Didier Rémy" ( http://dblp.L3S.de/Authors/Didier_Rémy )