ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
VenueThe Westin Seattle
Room nameSt Helens
Floor2
Capacity96
Room InformationNo extra information available
Program

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 & KeynoteTyDe at St Helens
Chair(s): Pierre-Evariste Dagand IRIF / CNRS
09:00
10m
Day opening
Welcome
TyDe
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 TypesTyDe 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 DataRecorded
TyDe
Adam Paszke Google Research, Ningning Xie University of Toronto / Google DeepMind
DOI
14:00 - 15:30
TyDe: Type-Driven DesignsTyDe 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
File Attached
16:00 - 17:30
TyDe: Type-Driven RuntimesTyDe at St Helens
Chair(s): Ningning Xie University of Toronto / Google DeepMind
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

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
St Helens