Full reduction in the face of absurdity

  • Didier Remy | INRIA Paris-Rocquencourt
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.

    • Portrait of Jeff Running

      Jeff Running

Watch Next