Program Committee Higher-order, Typed, Inferred, Strict: ML Family Workshop

Lars Bergstrom Committee Member

Mozilla Research

Martin Elsman Committee Member

University of Copenhagen, Denmark

Denmark

Matthew Fluet Committee Member

Rochester Institute of Technology

United States

Jacques Garrigue Committee Member

Nagoya University

Japan

Oleg Kiselyov Chair

Julia Lawall Committee Member

Inria

France

Andrey Mokhov Committee Member

Jane Street

United Kingdom

Benoît Montagu Committee Member

Inria

France

Guillaume Munch-Maccagnoni Committee Member

INRIA

France

Matija Pretnar Committee Member

University of Ljubljana, Slovenia

Slovenia

Andreas Rossberg Committee Member

Dfinity Stiftung

Germany

Gabriel Scherer Committee Member

INRIA Saclay

France