ICFP 2021
Sun 22 - Sat 28 August 2021
ICFP 2021 (series) / Virtual /

Room information: TyDe

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
23:30 - 01:00
Session IITyDe at TyDe
Chair(s): Dominic Orchard University of Kent, UK
23:30
30m
Talk
Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract)
TyDe
Mark Lemay Boston University, Qiancheng Fu Boston University, Hongwei Xi Boston University
Media Attached File Attached
00:00
30m
Talk
A Simpler Encoding of Indexed Types
TyDe
Tesla Zhang The Pennsylvania State University
Link to publication DOI Pre-print Media Attached
00:30
30m
Talk
Optics for Generic Declarative Server APIs (Extended Abstract)
TyDe
Andre Videla University Of Strathclyde
Media Attached File Attached

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

TyDe

Session I

TyDe

Keynote

TyDe

Session II

Mon 23 Aug

Displayed time zone: Seoul change

Room1:00302:0030
TyDe

TyDe

Session III

Sun 22 Aug

Displayed time zone: Seoul change

Room20:0015304521:0015304522:0015304523:00153045
TyDe
TyDe
Interactive Haskell Type Inference Exploration (Extended Abstract)
20:00 - 20:30
TyDe
Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Ab ...
20:30 - 21:00
TyDe
Translation Certification for Smart Contracts (Extended Abstract)
21:00 - 21:30
TyDeTyDe Keynote
Integrating Agda with SMT-LIB – An incomplete list of pits I fell in
22:00 - 23:00
TyDe
Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependen ...
23:30 - 00:00

Mon 23 Aug

Displayed time zone: Seoul change

Room0:001530451:001530452:00153045
TyDe
TyDe
A Simpler Encoding of Indexed Types
00:00 - 00:30
TyDe
Optics for Generic Declarative Server APIs (Extended Abstract)
00:30 - 01:00
TyDe
Actions You Can Handle: Dependent Types for AI Plans
01:30 - 02:00
TyDe
Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Exten ...
02:00 - 02:30