ICFP 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
Toggle navigation
Attending
Hotel: The Westin Seattle
Call For Sponsorship
Accessibility
Tracks
ICFP 2023
Artifact Evaluation
ICFP Research Papers
ICFP Workshops
Student Research Competition
Workshops
DeclMed
Erlang
FARM
FHPNC
FUNARCH
HIW
HOPE
Higher-order, Typed, Inferred, Strict: ML Family Workshop
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Artifact Evaluation
ICFP Research Papers
Student Research Competition
Contributors
People Index
Workshops
DeclMed
Organizing Committee
Program Committee
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Program Committee
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Program Committee
Organizing Committee
OCaml
Program Committee
PLMW @ ICFP
Organizing Committee
Scheme
Organizing Committee
Program Committee
TyDe
Organization Committee
Program Committee
miniKanren
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2023
(
series
) /
TyDe 2023 (
series
) /
TyDe 2023
/
Program Committee
TyDe
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST), Japan
Sandra Alves
University of Porto
Portugal
Stephen Chang
University of Massachusetts Boston
United States
Magnus Madsen
Aarhus University
Denmark
Victor Cacciari Miraldo
Channable
Netherlands
Jonathan Protzenko
Microsoft Research, Redmond
United States
Marianna Rapoport
Amazon Web Services
Canada
Christine Rizkallah
University of Melbourne
Australia
Filip Sieczkowski
Heriot-Watt University
United Kingdom
Aaron Stump
The University of Iowa, USA
United States
Peter Thiemann
University of Freiburg, Germany
Ningning Xie
Google DeepMind / University of Toronto
Canada
x
Mon 29 May 01:31