ML 2020
Sun 23 - Fri 28 August 2020
co-located with ICFP 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 ProgrammingICFP Tutorials at Tutorials 1
09:00
3h30m
Tutorial
Teaching Functional Programming
ICFP Tutorials
Michael Sperber Active Group GmbH
14:00 - 17:30
14:00
3h30m
Tutorial
Best Practices in Code Generation
ICFP 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
ICFP Tutorials
Michael Sperber Active Group GmbH
14:00 - 17:30
Using the K Framework to Formalize Functional LanguagesICFP Tutorials 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
ICFP 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 LyaICFP Tutorials at Tutorials 1
09:00
3h30m
Tutorial
Library-Oriented Dynamic Analysis with Lya
ICFP Tutorials
Nikos Vasilakis MIT CSAIL, USA, Grigoris Ntousakis TU Crete
14:00 - 17:30
Building Multi-Language Tools with CubixICFP Tutorials at Tutorials 1
14:00
3h30m
Tutorial
Building Multi-Language Tools with Cubix
ICFP Tutorials
James Koppel Massachusetts Institute of Technology, USA

Sun 23 Aug

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

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