Didier Rémy

Publications

723

Citations

H-Index

1992

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Didier Rémy is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisFormal VerificationData ScienceSyntaxLanguageSemantics

Publications per year

1992–2015

Publications

Dynamic typing in polymorphic languages

M. Abadi, Luca Cardelli, Benjamin C. Pierce et al. · Journal of Functional Programming · 1995 · 127 citations · Full text

Engineering, Data Type, Dynamic Typing +13

A generalization of exceptions and control in ML-like languages

Carl A. Gunter, Didier Rémy, Jon G. Riecke · 1995 · 113 citations · Full text

Objective ML

Didier Rémy, Jérôme Vouillon · 1997 · 92 citations

Engineering, Data Science, Generic Programming +13

MLF

Didier Le Botlan, Didier Rémy · ACM SIGPLAN Notices · 2014 · 72 citations

System F, Engineering, Generic Programming +11

ML <sup>F</sup>

Didier Le Botlan, Didier Rémy · 2003 · 59 citations

System F, Engineering, Generic Programming +11

Rows per page

1–5 of 17