Full reduction in the face of absurdity
Speaker Details
Didier Rémy is a Senior Researcher at INRIA Paris-Rocquencourt in the Gallium team. His main research interest is the design and implementation of static typed systems for programming languages. His current focus is on type systems for first-class modules and partial type inference for first-class polymorphism. His past research was on type inference for records and objects. He also designed the object-oriented layer of the Objective Caml language.
- Date:
- Speakers:
- Didier Remy
- Affiliation:
- INRIA Paris-Rocquencourt
-
-
Jeff Running
-