Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Call For Sponsorship
Tracks
ICFP 2019
Research Papers
Workshops
Student Research Competition
Co-hosted Workshops
Erlang
FARM
FHPC
HIW
ML
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposiums
Haskell
Organization
ICFP 2019
Organizing Committee
Steering Committee
Research Papers
Program Committee
Research Papers
External Review Committee
Contributors
People Index
Co-hosted Workshops
Erlang
Erlang 2019
Organizing Committee
Erlang 2019
Program Committee
FARM
FARM 2019
Organizing Committee
FARM 2019
Program Committee
FHPC
FHPC 2019
Organizing Committee
FHPC 2019
Program Committee
HIW
HIW 2019
Program Committee
ML
ML 2019
Organizing Committee
ML 2019
Program Committee
OCaml
OCaml 2019
Organizing Committee
OCaml 2019
Program Committee
PLMW @ ICFP
PLMW @ ICFP 2019
Organizing Committee
PLMW @ ICFP 2019
Program Committee
Scheme
Scheme 2019
Organizing Committee
Scheme 2019
Program Committee
TyDe
TyDe 2019
Organizing Committee
TyDe 2019
Program Committee
miniKanren
miniKanren 2019
Organizing Committee
miniKanren 2019
Program Committee
Co-hosted Symposiums
Haskell
Haskell 2019
Program Committee
Search
Series
Series
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2019
(
series
) /
Haskell 2019 (
series
) /
Haskell 2019
/
Program Committee
Haskell
Christiaan Baaij
QBayLogic B.V.
Jose Calderon
Galois, Inc.
United States
Benjamin Delaware
Purdue University
Richard A. Eisenberg
Chair
Bryn Mawr College, USA
United States
Jennifer Hackett
University of Nottingham, UK
United Kingdom
Kazutaka Matsuda
Tohoku University, Japan
Japan
Trevor L. McDonell
Utrecht University
Netherlands
Ivan Perez
NIA / NASA Formal Methods
Nadia Polikarpova
University of California, San Diego
United States
Norman Ramsey
Christine Rizkallah
UNSW Sydney
Australia
Eric Seidel
Bloomberg LP
United States
Alejandro Serrano
Utrecht University, Netherlands
Netherlands
John Wiegley
Thomas Winant
KU Leuven, Belgium
Ningning Xie
The University of Hong Kong
China
Ki Yung Ahn
Hannam University
South Korea
x
Sun 17 Feb 20:40