Accepted Tutorials
Dates
Plenary
Thu 22 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 12:00 Tutorial | Fine-grained program reasoning using linear and graded modal types Tutorials Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK, Vilem-Benjamin LiepeltUniversity of Kent, UK |
09:00 - 12:00 Tutorial | Verifying Imperative Programs with SAW Tutorials |
09:00 - 12:00 Tutorial | Functional Software Architecture Tutorials Michael SperberActive Group GmbH |
13:30 - 16:30 Tutorial | Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift Tutorials |
13:30 - 16:30 Tutorial | Verifying Imperative Programs with SAW Tutorials |
13:30 - 16:30 Tutorial | Teaching functional programming Tutorials Michael SperberActive Group GmbH |
Fri 23 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 12:00 Tutorial | Folding/Unfolding with Scala Tutorials |
09:00 - 12:00 Tutorial | Programming Language Foundations in Agda Tutorials Philip WadlerUniversity of Edinburgh, UK |
09:00 - 12:00 Tutorial | Building C++ project with Shake Tutorials |
13:30 - 16:30 Tutorial | Programming Language Foundations in Agda Tutorials Philip WadlerUniversity of Edinburgh, UK |
13:30 - 16:30 Tutorial | Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages. Tutorials |