ICFP 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
Toggle navigation
Attending
Hotel: The Westin Seattle
Call For Sponsorship
Travel Information
Local Information
Registration
Accessibility
Code of Conduct
Virtual participation
Instructions for Presenters
Diversity and Inclusion
Program
ICFP Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Tracks
ICFP 2023
Artifact Evaluation
ICFP Keynotes
ICFP Papers and Events
ICFP Workshops
Student Research Competition
Diversity, Equity, and Inclusion
Tutorials
- Vehicle - A Specification Language for Neural Network Properties
- Teaching and Learning Compilers Incrementally
- Teaching Functional Programming
- Porting Lwt applications to OCaml 5 and Eio
Volunteers
Workshops
DeclMed
Erlang
Erlang
- Keynote: Code Analysis at WhatsApp
- Invited Talk: Set-theoretic Types for Erlang
- Invited Talk: A Type System for Elixir
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 Papers and Events
Student Research Competition
Poster Committee
Program Committee
Tutorials
Volunteers
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 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2023
(
series
) /
The Westin Seattle
/
Room information: St Helens
Venue
The Westin Seattle
Room name
St Helens
Floor
2
Capacity
96
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 4 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
TyDe: Welcome & Keynote
TyDe
at
St Helens
Chair(s):
Pierre-Evariste Dagand
IRIF / CNRS
09:00
10m
Day opening
Welcome
TyDe
Pierre-Evariste Dagand
IRIF / CNRS
09:10
60m
Keynote
Multi-phase computation as an applicative functor
TyDe
Jeremy Gibbons
Department of Computer Science, University of Oxford
11:00 - 12:30
TyDe: Type-Driven Types
TyDe
at
St Helens
Chair(s):
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST), Japan
11:00
22m
Talk
A Calculus of Inductive Linear Constructions
TyDe
Qiancheng Fu
Boston University
,
Hongwei Xi
Boston University
DOI
11:22
22m
Talk
A Dependently Typed Language with Dynamic Equality
TyDe
Mark Lemay
Autodesk
,
Qiancheng Fu
Boston University
,
William Blair
Boston University
,
Cheng Zhang
Boston University
,
Hongwei Xi
Boston University
DOI
11:45
22m
Talk
Combining Dependency, Grades, and Adjoint Logic
TyDe
Peter Hanukaev
Augusta University
,
Harley D. Eades III
Augusta University
DOI
12:07
22m
Talk
Infix-Extensible Record Types for Tabular Data
Recorded
TyDe
Adam Paszke
Google Research
,
Ningning Xie
University of Toronto
DOI
14:00 - 15:30
TyDe: Type-Driven Designs
TyDe
at
St Helens
Chair(s):
Filip Sieczkowski
Heriot-Watt University
14:00
22m
Talk
An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstract)
TyDe
Ayumu Saito
Tokyo Institute of Technology
,
Reynald Affeldt
National Institute of Advanced Industrial Science and Technology (AIST), Japan
File Attached
14:22
22m
Talk
A Type System For Feature Engineering (Extended Abstract)
TyDe
Weixi Ma
Meta
,
Serena Chan
Meta
,
Fei Yu
Meta
File Attached
14:45
22m
Talk
A type-theoretic account of quantum computation (Extended Abstract)
TyDe
Takafumi Saikawa
Nagoya University
,
Jacques Garrigue
Nagoya University
File Attached
15:07
22m
Talk
Exploring modal types for the Intel Quantum SDK (Extended Abstract)
TyDe
Jennifer Paykin
Intel
File Attached
16:00 - 17:30
TyDe: Type-Driven Runtimes
TyDe
at
St Helens
Chair(s):
Ningning Xie
University of Toronto
16:00
22m
Talk
Semantic Encapsulation using Linking Types
TyDe
Daniel Patterson
Northeastern University
,
Andrew Wagner
Northeastern University
,
Amal Ahmed
Northeastern University, USA
DOI
16:22
22m
Talk
Towards Tagless Interpretation of Stratified System F (Extended Abstract)
TyDe
Peter Thiemann
University of Freiburg, Germany
,
Marius Weidner
University of Freiburg
File Attached
16:45
22m
Talk
Types as First-Class Values in Fuzion (Extended Abstract)
TyDe
Fridtjof Siebert
Tokiwa Software GmbH
File Attached
17:07
22m
Talk
Pipit: Reactive Systems in F★ (Extended Abstract)
TyDe
Amos Robinson
Australian National University, Australia
,
Alex Potanin
Australian National University
File Attached
Fri 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Tutorial: Vehicle - A Specification Language for Neural Network Properties (1)
Tutorials
at
St Helens
09:00
90m
Tutorial
Vehicle - A Specification Language for Neural Network Properties
Tutorials
Ekaterina Komendantskaya
Heriot-Watt University and Southampton University
,
Matthew L. Daggitt
Heriot-Watt University
,
Wen Kokke
University of Edinburgh
Pre-print
11:00 - 12:30
Tutorial: Vehicle - A Specification Language for Neural Network Properties (2)
Tutorials
at
St Helens
11:00
90m
Tutorial
Vehicle - A Specification Language for Neural Network Properties
Tutorials
Ekaterina Komendantskaya
Heriot-Watt University and Southampton University
,
Matthew L. Daggitt
Heriot-Watt University
,
Wen Kokke
University of Edinburgh
Pre-print
14:00 - 15:30
Tutorial: Porting Lwt applications to OCaml 5 and Eio (1)
Tutorials
at
St Helens
14:00
90m
Tutorial
Porting Lwt applications to OCaml 5 and Eio
Tutorials
Thomas Leonard
Tarides
,
Jonathan Ludlam
University of Cambridge
16:00 - 17:30
Tutorial: Porting Lwt applications to OCaml 5 and Eio (2)
Tutorials
at
St Helens
16:00
90m
Tutorial
Porting Lwt applications to OCaml 5 and Eio
Tutorials
Thomas Leonard
Tarides
,
Jonathan Ludlam
University of Cambridge
Sat 9 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Tutorial: Teaching Functional Programming (1)
Tutorials
at
St Helens
09:00
90m
Tutorial
Teaching Functional Programming
Tutorials
Michael Sperber
Active Group GmbH
11:00 - 12:30
Tutorial: Teaching Functional Programming (2)
Tutorials
at
St Helens
11:00
90m
Tutorial
Teaching Functional Programming
Tutorials
Michael Sperber
Active Group GmbH
14:00 - 15:30
Tutorial: Teaching and Learning Compilers Incrementally (1)
Tutorials
at
St Helens
14:00
90m
Tutorial
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek
Indiana University, USA
Pre-print
16:00 - 17:30
Tutorial: Teaching and Learning Compilers Incrementally (2)
Tutorials
at
St Helens
16:00
90m
Tutorial
Teaching and Learning Compilers Incrementally
Tutorials
Jeremy G. Siek
Indiana University, USA
Pre-print
Mon 4 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
St Helens
TyDe
TyDe: Welcome & Keynote
TyDe
TyDe: Type-Driven Types
TyDe
TyDe: Type-Driven Designs
TyDe
TyDe: Type-Driven Runtimes
Fri 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
St Helens
Tutorials
Tutorial: Vehicle - A Specification Language for Neural Network Properties (1)
Tutorials
Tutorial: Vehicle - A Specification Language for Neural Network Properties (2)
Tutorials
Tutorial: Porting Lwt applications to OCaml 5 and Eio (1)
Tutorials
Tutorial: Porting Lwt applications to OCaml 5 and Eio (2)
Sat 9 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
St Helens
Tutorials
Tutorial: Teaching Functional Programming (1)
Tutorials
Tutorial: Teaching Functional Programming (2)
Tutorials
Tutorial: Teaching and Learning Compilers Incrementally (1)
Tutorials
Tutorial: Teaching and Learning Compilers Incrementally (2)
Mon 4 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
St Helens
TyDe
Welcome
09:00 - 09:10
TyDe
Multi-phase computation as an applicative functor
09:10 - 10:10
TyDe
A Calculus of Inductive Linear Constructions
11:00 - 11:22
TyDe
A Dependently Typed Language with Dynamic Equality
11:22 - 11:45
TyDe
Combining Dependency, Grades, and Adjoint Logic
11:45 - 12:07
TyDe
Recorded
Infix-Extensible Record Types for Tabular Data
12:07 - 12:30
TyDe
An Intrinsically-typed Probabilistic Programming Language in Coq (Exten ...
14:00 - 14:22
TyDe
A Type System For Feature Engineering (Extended Abstract)
14:22 - 14:45
TyDe
A type-theoretic account of quantum computation (Extended Abstract)
14:45 - 15:07
TyDe
Exploring modal types for the Intel Quantum SDK (Extended Abstract)
15:07 - 15:30
TyDe
Semantic Encapsulation using Linking Types
16:00 - 16:22
TyDe
Towards Tagless Interpretation of Stratified System F (Extended Abstract)
16:22 - 16:45
TyDe
Types as First-Class Values in Fuzion (Extended Abstract)
16:45 - 17:07
TyDe
Pipit: Reactive Systems in F★ (Extended Abstract)
17:07 - 17:30
Fri 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
St Helens
ICFP Tutorials
Vehicle - A Specification Language for Neural Network Properties
09:00 - 10:30
ICFP Tutorials
Vehicle - A Specification Language for Neural Network Properties
11:00 - 12:30
ICFP Tutorials
Porting Lwt applications to OCaml 5 and Eio
14:00 - 15:30
ICFP Tutorials
Porting Lwt applications to OCaml 5 and Eio
16:00 - 17:30
Sat 9 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
St Helens
ICFP Tutorials
Teaching Functional Programming
09:00 - 10:30
ICFP Tutorials
Teaching Functional Programming
11:00 - 12:30
ICFP Tutorials
Teaching and Learning Compilers Incrementally
14:00 - 15:30
ICFP Tutorials
Teaching and Learning Compilers Incrementally
16:00 - 17:30
x
Sat 21 Dec 12:43