ICFP 2021
Sun 22 - Sat 28 August 2021
VenueVirtual
Room nameTyDe
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

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
30m
Talk
Interactive Haskell Type Inference Exploration (Extended Abstract)
TyDe
Shuai Fu Monash University, Tim Dwyer Monash University, Peter J. Stuckey Monash University
File Attached
20:30
30m
Talk
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
30m
Talk
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
60m
Keynote
Integrating Agda with SMT-LIB – An incomplete list of pits I fell inTyDe Keynote
TyDe
Wen Kokke University of Edinburgh

Mon 23 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Session IIITyDe at TyDe
Chair(s): Dominic Orchard University of Kent, UK
01:30
30m
Talk
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
30m
Talk
Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract)
TyDe
Uma Zalakain University of Glasgow, Ornela Dardha University of Glasgow
File Attached

Sun 22 Aug

Displayed time zone: Seoul change

Room20:003021:003022:003023:00300:0030
TyDe

Mon 23 Aug

Displayed time zone: Seoul change

Room1:00302:0030
TyDe