Didier Rémy

Statistics

Publications

Citations

299

H-Index

Active since

1989

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, automated reasoning, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLinguisticsData ScienceFormal VerificationLanguageSemanticsVerification

Publications per year

1989–2013

Publications

Type checking records and variants in a natural extension of ML

Didier Rémy · 1989 · 204 citations · Full text

Engineering, Type Theory, Verification +17

Syntactic theories and the algebra of record terms

Didier Rémy · OpenGrey (Institut de l'Information Scientifique et Technique) · 1992 · 34 citations · Full text

Typing record concatenation for free

Didier Rémy · 1992 · 33 citations · Full text

Engineering, Record Concatenation, Type Theory +19

The OCaml system release 4.01: Documentation and user's manual

Xavier Leroy, Damien Doligez, Alain Frisch et al. · SPIRE - Sciences Po Institutional REpository · 2013 · 18 citations · Full text

From ML to ML <sup>F</sup>

Didier Rémy, Boris Yakobowski · 2008 · 10 citations

Engineering, Machine Learning, Data Science +12

1–5 of 5