Write a Blog >>
TyDe 2020
Sun 23 Aug 2020
co-located with ICFP 2020
VenueOnline
Room nameTutorials 2
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
Audio, Video & Web Live Coding in HaskellICFP Tutorials at Tutorials 2
09:00
3h30m
Tutorial
Audio, Video & Web Live Coding in Haskell
ICFP Tutorials
Manuel Bärenz sonnen eServices GmbH
Pre-print
14:00 - 17:30
Designing Hardware Systems and Accelerators with Open-Source Bluespec HaskellICFP Tutorials at Tutorials 2

https://www.youtube.com/watch?v=JCxE3JQAXY0

14:00
3h30m
Tutorial
Designing Hardware Systems and Accelerators with Open-Source Bluespec Haskell
ICFP Tutorials
Rishiyur Nikhil Bluespec, Inc.

Thu 27 Aug

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

09:00 - 12:30
Integrating User Centered Methods into Programming Language DesignICFP Tutorials at Tutorials 2

https://www.youtube.com/watch?v=-m34gNVVpFQ

09:00
3h30m
Tutorial
Integrating User-Centered Methods into Programming Language Design
ICFP Tutorials
Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University

Fri 28 Aug

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

09:00 - 12:30
Can you functionally program like a 5th grader?ICFP Tutorials at Tutorials 2
09:00
3h30m
Tutorial
Creating SVG graphics and Animations using Elm
ICFP Tutorials
Link to publication DOI

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

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

Sun 23 Aug

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

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

Thu 27 Aug

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

Fri 28 Aug

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

Room9:0015304510:0015304511:0015304512:00153045
Tutorials 2