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
    • Portrait of Jeff Running

      Jeff Running