ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
VenueCankarjev Dom
Room nameClub CD
Capacity220
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 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
Link to publication
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
11:00 - 12:30
Tyde 2TyDe at Club CD
Chair(s): Gabriel Scherer INRIA Saclay
11:00
18m
Short-paper
Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract)
TyDe
Robert Wright The University of Edinburgh, UK, Michel Steuwer University of Edinburgh, Ohad Kammar University of Edinburgh
11:18
18m
Short-paper
Syntax-Generic Operations, Reflectively Reified (Extended Abstract)
TyDe
Tzu-Chi Lin Institute of Information Science, Academia Sinica, Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica
Pre-print
11:36
18m
Short-paper
Toward Grammar Inference via Refinement Types (Extended Abstract)
TyDe
Pre-print Media Attached
11:54
18m
Short-paper
Towards Dependently-Typed Control Effects (Extended Abstract)Virtual
TyDe
Youyou Cong Tokyo Institute of Technology, Kenichi Asai Ochanomizu University
File Attached
12:12
18m
Full-paper
tylr, a tiny tile-based structure editor
TyDe
David Moon University of Michigan, Andrew Blinn University of Michigan, Cyrus Omar University of Michigan
DOI Pre-print
14:00 - 15:30
TyDe 3 / Zena's Birthday 1TyDe at Club CD
Chair(s): Gabriel Scherer INRIA Saclay, Marco Gaboardi Boston University
14:00
18m
Short-paper
Normalization by Evaluation with Free Extensions (Extended Abstract)
TyDe
Nathan Corbyn University of Oxford, Ohad Kammar University of Edinburgh, Sam Lindley The University of Edinburgh, UK, Nachiappan Valliappan Chalmers University of Technology, Jeremy Yallop University of Cambridge
Pre-print
14:18
18m
Talk
Zena's birthday introduction
TyDe
Marco Gaboardi Boston University
14:36
18m
Talk
Compiling without continuations
TyDe
Simon Peyton Jones Epic Games
14:54
18m
Talk
On the power of syntactic methods: It is all syntax after all…
TyDe
Amr Sabry Indiana University
15:12
18m
Talk
The impact of delimited control and call-by-need in proof theory
TyDe
16:00 - 17:30
Zena's Birthday 2TyDe at Club CD
Chair(s): Marco Gaboardi Boston University
16:00
18m
Talk
A Computational Interpretation of Girard's Intuitionistic Proof-Nets
TyDe
Delia Kesner Université de Paris; CNRS; IRIF; Institut Universitaire de France
16:18
18m
Talk
Duality of intersection and union types - where and how?
TyDe
Silvia Ghilezan University of Novi Sad, Mathematical Institute SASA
16:36
18m
Talk
Mu tilde (re)cycled
TyDe
Pierre-Louis Curien Univ. Paris Diderot and INRIA Paris-Rocquencourt
16:54
18m
Talk
OPLSS over twenty years (online)
TyDe
Robert Harper Carnegie Mellon University
17:12
18m
Talk
Happy Birthday, Zena!
TyDe

Thu 15 Sep

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

16:00 - 18:00
Technical setupFARM at Club CD
16:00
2h
Other
Technical setup & rehearsal
FARM

18:30 - 21:30
Performance EveningFARM at Club CD
Chair(s): Luka Frelih LJUDMILA Art & Science Laboratory
18:30
60m
Meeting
Meet the artists
FARM
A: Rob Canning , A: Enrico Dorigatti University of Portsmouth, A: Francesco Corvi , A: Luka Prinčič , A: Florencia Alonso (Flor de Fuego) None, C: Luka Frelih LJUDMILA Art & Science Laboratory
19:40
20m
Other
Fold Yer Loops!
FARM
20:00
20m
Other
Xeno
FARM
Enrico Dorigatti University of Portsmouth
20:30
20m
Other
Live coding with Adapt
FARM
20:50
20m
Other
Algoforte
FARM
21:10
20m
Other
Specific site: remembering is never a faithful copy
FARM

Sun 11 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Club CD

Thu 15 Sep

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

Room16:003017:003018:003019:003020:003021:0030
Club CD

Sun 11 Sep

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

Thu 15 Sep

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

Room16:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Club CD
FARM
Fold Yer Loops!
19:40 - 20:00
FARM
Xeno
20:00 - 20:20
FARM
Algoforte
20:50 - 21:10