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

18:00 - 19:30
Deductive Verification of OCaml Programs with Cameleer 1Tutorials at Tutorials
18:00
90m
Tutorial
Deductive Verification of OCaml Programs in Cameleer
Tutorials
Mário Pereira LRI - Université Paris-Sud
20:00 - 21:30
Deductive Verification of OCaml Programs with Cameleer 2Tutorials at Tutorials
20:00
90m
Tutorial
Deductive Verification of OCaml Programs in Cameleer
Tutorials
Mário Pereira LRI - Université Paris-Sud
23:30 - 01:00
Teaching Functional Programming 1Tutorials at Tutorials
23:30
90m
Tutorial
Teaching Functional Programming
Tutorials
Michael Sperber Active Group GmbH

Mon 23 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Teaching Functional Programming 2Tutorials at Tutorials
01:30
90m
Tutorial
Teaching Functional Programming
Tutorials
Michael Sperber Active Group GmbH

Thu 26 Aug

Displayed time zone: Seoul change

23:30 - 01:00
Interaction Laws of Monads and Comonads 1Tutorials at Tutorials
23:30
90m
Tutorial
Interaction laws of monads and comonads
Tutorials
Dylan McDermott Reykjavik University, Exequiel Rivas , Tarmo Uustalu Reykjavik University
Pre-print

Fri 27 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Interaction Laws of Monads and Comonads 2Tutorials at Tutorials
01:30
90m
Tutorial
Interaction laws of monads and comonads
Tutorials
Dylan McDermott Reykjavik University, Exequiel Rivas , Tarmo Uustalu Reykjavik University
Pre-print
01:30 - 03:00
Programming with Effect Handlers and FBIP in Koka 1Tutorials at Tutorials
01:30
90m
Tutorial
Programming with Effect Handlers and FBIP in Koka
Tutorials
Daan Leijen Microsoft Research, Ningning Xie University of Toronto
03:30 - 05:00
Programming with Effect Handlers and FBIP in Koka 2Tutorials at Tutorials
03:30
90m
Tutorial
Programming with Effect Handlers and FBIP in Koka
Tutorials
Daan Leijen Microsoft Research, Ningning Xie University of Toronto
23:30 - 01:00
Functional Software Architecture 1Tutorials at Tutorials
23:30
90m
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber Active Group GmbH

Sat 28 Aug

Displayed time zone: Seoul change

01:30 - 03:00
Functional Software Architecture 2Tutorials at Tutorials
01:30
90m
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber Active Group GmbH

Mon 23 Aug

Displayed time zone: Seoul change

Thu 26 Aug

Displayed time zone: Seoul change

Fri 27 Aug

Displayed time zone: Seoul change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:0030
Tutorials

Sat 28 Aug

Displayed time zone: Seoul change

Sun 22 Aug

Displayed time zone: Seoul change

Mon 23 Aug

Displayed time zone: Seoul change

Room1:001530452:00153045
Tutorials

Thu 26 Aug

Displayed time zone: Seoul change

Fri 27 Aug

Displayed time zone: Seoul change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
Tutorials

Sat 28 Aug

Displayed time zone: Seoul change

Room1:001530452:00153045
Tutorials