FHPNC 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
co-located with
ICFP 2023
Toggle navigation
Attending
Hotel: The Westin Seattle
Program
FHPNC Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Track/Call
Organization
FHPNC 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FHPNC 2023
FHPNC 2022
FHPNC 2021
FHPNC 2020
FHPNC 2019
FHPC 2018
FHPC 2017
FHPC 2016
Sign in
Sign up
ICFP 2023
(
series
) /
FHPNC 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)
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
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
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
Sun 22 Dec 05:05