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
) /
OCaml 2023 (
series
) /
OCaml Users and Developers Workshop 2023
/
Program Committee
OCaml
Kenichi Asai
Ochanomizu University
Japan
Jonah Beckford
Co-chair
Diskuv
United States
Raja Boujbel
OCamlPro
France
Chris Casinghino
Jane Street
Jacques Garrigue
Nagoya University
Japan
Kiran Gopinathan
National University of Singapore
Singapore
Oleg Kiselyov
Andrey Mokhov
Jane Street
United Kingdom
Benoît Montagu
Inria
France
Sudha Parimala
Tarides
India
Matija Pretnar
University of Ljubljana, Slovenia
Slovenia
Jonathan Protzenko
Microsoft Research, Redmond
United States
Claude Rubinson
University of Houston-Downtown
United States
Gabriel Scherer
Co-chair
INRIA Saclay
France
x
Mon 29 May 01:04