ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Sun 11 Sep 2022 09:18 - 09:36 at Club CD - TyDe 1 Chair(s): Hsiang-Shang ‘Josh’ Ko

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
TyDe 1TyDe at Club CD
Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica
09:00
18m
Full-paper
A Hoare-Logic Style Refinement Types FormalisationVirtual
TyDe
Zilin Chen UNSW Sydney
Link to publication DOI
09:18
18m
Full-paper
Computing with Generic Trees in Agda
TyDe
09:36
18m
Short-paper
Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction (Extended Abstract)
TyDe
Andreas Nuyts KU Leuven, Belgium
Pre-print
09:54
18m
Short-paper
Provingly Correct Optimisations on Intrinsically Typed Expressions (Extended Abstract)
TyDe
Matthias Heinzel Utrecht University
Pre-print
10:12
18m
Full-paper
Structural Refinement Types
TyDe
David Binder University of Tübingen, Ingo Skupin University of Tübingen, David Läwen University of Tübingen, Germany, Klaus Ostermann University of Tübingen
Pre-print