Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameTutorials 1
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 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:30
Teaching Functional ProgrammingTutorials at Tutorials 1
09:00
3h30m
Tutorial
Teaching Functional Programming
Tutorials
Michael Sperber Active Group GmbH
14:00 - 17:30
14:00
3h30m
Tutorial
Best Practices in Code Generation
Tutorials
Michal J. Gajda Migamake Pte Ltd

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:30
09:00
3h30m
Tutorial
Functional Software Architecture
Tutorials
Michael Sperber Active Group GmbH
14:00 - 17:30
Using the K Framework to Formalize Functional LanguagesTutorials at Tutorials 1

https://www.youtube.com/watch?v=VlQMi_N42B8&feature=youtu.be

14:00
3h30m
Tutorial
Using the K Framework to Formalize Functional Languages
Tutorials
Xiaohong Chen University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:30
Library-Oriented Dynamic Analysis with LyaTutorials at Tutorials 1
09:00
3h30m
Tutorial
Library-Oriented Dynamic Analysis with Lya
Tutorials
Nikos Vasilakis MIT CSAIL, USA, Grigoris Ntousakis TU Crete
14:00 - 17:30
Building Multi-Language Tools with CubixTutorials at Tutorials 1
14:00
3h30m
Tutorial
Building Multi-Language Tools with Cubix
Tutorials
James Koppel Massachusetts Institute of Technology, USA

Sun 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Tutorials 1

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

Sun 23 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Tutorials 1

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Tutorials 1

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Tutorials 1