ICFP 2021 (series) / TyDe 2021 (series) /
TyDe 2021 Program
This is the TyDe 2021 program - see the full program for ICFP 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 AugDisplayed time zone: Seoul change
Sun 22 Aug
Displayed time zone: Seoul change
20:00 - 21:30 | Session ITyDe at TyDe Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
20:00 30mTalk | Interactive Haskell Type Inference Exploration (Extended Abstract) TyDe File Attached | ||
20:30 30mTalk | Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) TyDe Kazuki Niimi Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Jonathan Immanuel Brachthäuser EPFL File Attached | ||
21:00 30mTalk | Translation Certification for Smart Contracts (Extended Abstract) TyDe Jacco Krijnen Utrecht University, Manuel Chakravarty Tweag & IOHK, Gabriele Keller Utrecht University, Wouter Swierstra Utrecht University, Netherlands File Attached |
22:00 - 23:30 | KeynoteTyDe at TyDe Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
22:00 60mKeynote | Integrating Agda with SMT-LIB – An incomplete list of pits I fell inTyDe Keynote TyDe Wen Kokke University of Edinburgh |
23:30 - 01:00 | |||
23:30 30mTalk | Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract) TyDe Media Attached File Attached | ||
00:00 30mTalk | A Simpler Encoding of Indexed Types TyDe Tesla Zhang The Pennsylvania State University Link to publication DOI Pre-print Media Attached | ||
00:30 30mTalk | Optics for Generic Declarative Server APIs (Extended Abstract) TyDe Andre Videla University Of Strathclyde Media Attached File Attached |
Mon 23 AugDisplayed time zone: Seoul change
Mon 23 Aug
Displayed time zone: Seoul change
01:30 - 03:00 | |||
01:30 30mTalk | Actions You Can Handle: Dependent Types for AI Plans TyDe Alasdair Hill Heriot-Watt University, Ekaterina Komendantskaya Heriot-Watt University, UK, Matthew L. Daggitt Heriot-Watt University, Ronald P. A. Petrick Heriot-Watt University DOI Pre-print Media Attached | ||
02:00 30mTalk | Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract) TyDe File Attached |