ICFP 2023 (series) / TyDe 2023 (series) /
TyDe 2023 Program
This is the TyDe 2023 program - see the full program for ICFP 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change
Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome TyDe Pierre-Evariste Dagand IRIF / CNRS | ||
09:10 60mKeynote | 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 22mTalk | A Calculus of Inductive Linear Constructions TyDe DOI | ||
11:22 22mTalk | 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 22mTalk | Combining Dependency, Grades, and Adjoint Logic TyDe DOI | ||
12:07 22mTalk | Infix-Extensible Record Types for Tabular DataRecorded TyDe DOI |
14:00 - 15:30 | |||
14:00 22mTalk | 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 22mTalk | A Type System For Feature Engineering (Extended Abstract) TyDe File Attached | ||
14:45 22mTalk | A type-theoretic account of quantum computation (Extended Abstract) TyDe File Attached | ||
15:07 22mTalk | Exploring modal types for the Intel Quantum SDK (Extended Abstract) TyDe Jennifer Paykin Intel File Attached |
16:00 - 17:30 | TyDe: Type-Driven RuntimesTyDe at St Helens Chair(s): Ningning Xie University of Toronto / Google DeepMind | ||
16:00 22mTalk | Semantic Encapsulation using Linking Types TyDe Daniel Patterson Northeastern University, Andrew Wagner Northeastern University, Amal Ahmed Northeastern University, USA DOI | ||
16:22 22mTalk | Towards Tagless Interpretation of Stratified System F (Extended Abstract) TyDe File Attached | ||
16:45 22mTalk | Types as First-Class Values in Fuzion (Extended Abstract) TyDe Fridtjof Siebert Tokiwa Software GmbH File Attached | ||
17:07 22mTalk | Pipit: Reactive Systems in F★ (Extended Abstract) TyDe Amos Robinson Australian National University, Australia, Alex Potanin Australian National University File Attached |