Program Committee ICFP Research Papers

Mark Jones Program Chair

Portland State University

Robert Atkey

University of Strathclyde

Adam Chlipala

Massachusetts Institute of Technology, USA

United States

Dominique Devriese

KU Leuven, Belgium

Belgium

Martin Erwig

Oregon State University

United States

Matthew Flatt

University of Utah

United States

Ronald Garcia

University of British Columbia

Kathryn E. Gray

University of Cambridge

John Hughes

Chalmers University of Technology

Chung-Kil Hur

Seoul National University

Korea, South

Graham Hutton

University of Nottingham

United Kingdom

Alan Jeffrey

Mozilla Research

United States

Ranjit Jhala

University of California at San Diego, USA

United States

Shin-ya Katsumata

National Institute of Informatics

Japan

Lindsey Kuper

Intel Labs

Daniel R. Licata

Wesleyan University

United States

Ben Lippmeier

Digital Asset / UNSW Australia

Gabriel Scherer

Northeastern University

United States

Alexandra Silva

University College London

United Kingdom

Nikhil Swamy

Microsoft Research, n.n.

United States

Sam Tobin-Hochstadt

Indiana University

United States

Nicolas Wu

University of Bristol

United Kingdom

Beta Ziliani

FAMAF, UNC and CONICET

Argentina