TyDe 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
co-located with
ICFP 2023
Toggle navigation
Attending
Hotel: The Westin Seattle
Program
Complete Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Track/Call
Organization
TyDe 2023 Committees
Track Committees
Organization Committee
Program Committee
Contributors
People Index
Search
Series
Series
TyDe 2024
TyDe 2023
TyDe 2022
TyDe 2021
TyDe 2020
TyDe 2019
TyDe 2018
TyDe 2017
TyDe 2016
Sign in
Sign up
ICFP 2023
(
series
) /
TyDe 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 2023
at
St Helens
Chair(s):
Pierre-Evariste Dagand
IRIF / CNRS
09:00
10m
Day opening
Welcome
TyDe 2023
Pierre-Evariste Dagand
IRIF / CNRS
09:10
60m
Keynote
Multi-phase computation as an applicative functor
TyDe 2023
Jeremy Gibbons
Department of Computer Science, University of Oxford
11:00 - 12:30
TyDe: Type-Driven Types
TyDe 2023
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 2023
Qiancheng Fu
Boston University
,
Hongwei Xi
Boston University
DOI
11:22
22m
Talk
A Dependently Typed Language with Dynamic Equality
TyDe 2023
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 2023
Peter Hanukaev
Augusta University
,
Harley D. Eades III
Augusta University
DOI
12:07
22m
Talk
Infix-Extensible Record Types for Tabular Data
Recorded
TyDe 2023
Adam Paszke
Google Research
,
Ningning Xie
University of Toronto / Google DeepMind
DOI
14:00 - 15:30
TyDe: Type-Driven Designs
TyDe 2023
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 2023
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 2023
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 2023
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 2023
Jennifer Paykin
Intel
File Attached
16:00 - 17:30
TyDe: Type-Driven Runtimes
TyDe 2023
at
St Helens
Chair(s):
Ningning Xie
University of Toronto / Google DeepMind
16:00
22m
Talk
Semantic Encapsulation using Linking Types
TyDe 2023
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 2023
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 2023
Fridtjof Siebert
Tokiwa Software GmbH
File Attached
17:07
22m
Talk
Pipit: Reactive Systems in F★ (Extended Abstract)
TyDe 2023
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)
ICFP Tutorials
at
St Helens
09:00
90m
Tutorial
Vehicle - A Specification Language for Neural Network Properties
ICFP 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)
ICFP Tutorials
at
St Helens
11:00
90m
Tutorial
Vehicle - A Specification Language for Neural Network Properties
ICFP 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)
ICFP Tutorials
at
St Helens
14:00
90m
Tutorial
Porting Lwt applications to OCaml 5 and Eio
ICFP Tutorials
Thomas Leonard
Tarides
,
Jonathan Ludlam
University of Cambridge
16:00 - 17:30
Tutorial: Porting Lwt applications to OCaml 5 and Eio (2)
ICFP Tutorials
at
St Helens
16:00
90m
Tutorial
Porting Lwt applications to OCaml 5 and Eio
ICFP 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)
ICFP Tutorials
at
St Helens
09:00
90m
Tutorial
Teaching Functional Programming
ICFP Tutorials
Michael Sperber
Active Group GmbH
11:00 - 12:30
Tutorial: Teaching Functional Programming (2)
ICFP Tutorials
at
St Helens
11:00
90m
Tutorial
Teaching Functional Programming
ICFP Tutorials
Michael Sperber
Active Group GmbH
14:00 - 15:30
Tutorial: Teaching and Learning Compilers Incrementally (1)
ICFP Tutorials
at
St Helens
14:00
90m
Tutorial
Teaching and Learning Compilers Incrementally
ICFP Tutorials
Jeremy G. Siek
Indiana University, USA
Pre-print
16:00 - 17:30
Tutorial: Teaching and Learning Compilers Incrementally (2)
ICFP Tutorials
at
St Helens
16:00
90m
Tutorial
Teaching and Learning Compilers Incrementally
ICFP 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 2023
TyDe: Welcome & Keynote
TyDe 2023
TyDe: Type-Driven Types
TyDe 2023
TyDe: Type-Driven Designs
TyDe 2023
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
ICFP Tutorials
Tutorial: Vehicle - A Specification Language for Neural Network Properties (1)
ICFP Tutorials
Tutorial: Vehicle - A Specification Language for Neural Network Properties (2)
ICFP Tutorials
Tutorial: Porting Lwt applications to OCaml 5 and Eio (1)
ICFP 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
ICFP Tutorials
Tutorial: Teaching Functional Programming (1)
ICFP Tutorials
Tutorial: Teaching Functional Programming (2)
ICFP Tutorials
Tutorial: Teaching and Learning Compilers Incrementally (1)
ICFP 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
Wed 1 May 14:32