‹Programming› 2022
Mon 11 - Thu 14 April 2022
Wed 23 Mar 2022 08:45 - 09:00 at Auditorium Nobre - Conference Opening
Mon 11 Apr 2022 06:00 - 06:15 at Virtual Space - ‹Programming› Online Monday Chair(s): Jonathan Edwards

Wed 23 Mar

Displayed time zone: Lisbon change

08:45 - 09:00
08:45
15m
Other
Conference Opening
G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen

Mon 11 Apr

Displayed time zone: Lisbon change

06:00 - 09:00
‹Programming› Online Monday / Research Papers at Virtual Space
Chair(s): Jonathan Edwards
06:00
15m
Other
Conference Opening
G: Ademar Aguiar FEUP, Universidade do Porto, A: Emma Söderberg Lund University, S: Guido Salvaneschi University of St. Gallen
06:15
25m
Research paper
Type Checking Extracted MethodsVol. 6
Research Papers
Yuquan FU , Sam Tobin-Hochstadt Indiana University
Link to publication
06:40
25m
Research paper
Types for Tables: A Language Design BenchmarkEditors’ AwardVol. 6
Research Papers
Kuang-Chen Lu Brown University, USA, Ben Greenman Brown University, Shriram Krishnamurthi Brown University, United States
Link to publication
07:05
25m
Research paper
Continuation-Passing Style, Defunctionalization, Accumulations, and AssociativityReviewers’ AwardVol. 6
Research Papers
Jeremy Gibbons Department of Computer Science, University of Oxford
Link to publication
07:30
25m
Research paper
The Art of the Meta Stream Protocol: Torrents of StreamsVol. 6
Research Papers
Christophe De Troyer Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication