ICFP 2019 - Tutorials - ICFP 2019

Write a Blog >>

Sun 18 - Fri 23 August 2019 Berlin, Germany

About
Program

Accepted Tutorials

	Title
	Functional Software Architecture Michael Sperber
	Building C++ project with Shake Semen Trygubenko
	Fine-grained program reasoning using linear and graded modal types Harley D. Eades III, Dominic Orchard, Vilem-Benjamin Liepelt
	Folding/Unfolding with Scala Simon Hafner
	Programming Language Foundations in Agda Philip Wadler
	Teaching functional programming Michael Sperber
	Verifying Imperative Programs with SAW David Thrane Christiansen, Iavor Diatchki
	Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages. Andor Penzes

Thu 22 Aug

09:00 - 12:00: Tutorials - Tutorials B1 at Birch

09:00 - 12:00
Tutorial

Fine-grained program reasoning using linear and graded modal types

Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK, Vilem-Benjamin LiepeltUniversity of Kent, UK

09:00 - 12:00: Tutorials - Tutorials R1 at Reindeer

09:00 - 12:00
Tutorial

Verifying Imperative Programs with SAW

David Thrane ChristiansenGalois, USA, Iavor DiatchkiGalois, Inc.

09:00 - 12:00: Tutorials - Tutorials Y1 at Yew

09:00 - 12:00
Tutorial

Functional Software Architecture

Michael SperberActive Group GmbH

12:00 - 13:30: Catering - Lunch at Restaurant

13:30 - 16:30: Tutorials - Tutorials B2 at Birch

13:30 - 16:30
Tutorial

Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift

Michal J. Gajda

13:30 - 16:30: Tutorials - Tutorials R2 at Reindeer

13:30 - 16:30
Tutorial

Verifying Imperative Programs with SAW

David Thrane ChristiansenGalois, USA, Iavor DiatchkiGalois, Inc.

13:30 - 16:30: Tutorials - Tutorials Y2 at Yew

13:30 - 16:30
Tutorial

Teaching functional programming

Michael SperberActive Group GmbH

Fri 23 Aug

09:00 - 12:00: Tutorials - Tutorials B3 at Birch

09:00 - 12:00
Tutorial

Folding/Unfolding with Scala

09:00 - 12:00: Tutorials - Tutorials R3 at Reindeer

09:00 - 12:00
Tutorial

Programming Language Foundations in Agda

Philip WadlerUniversity of Edinburgh, UK

09:00 - 12:00: Tutorials - Tutorials Y3 at Yew

09:00 - 12:00
Tutorial

Building C++ project with Shake

Semen Trygubenko

12:00 - 13:30: Catering - Lunch at Restaurant

13:30 - 16:30: Tutorials - Tutorials R4 at Reindeer

13:30 - 16:30
Tutorial

Programming Language Foundations in Agda

Philip WadlerUniversity of Edinburgh, UK

13:30 - 16:30: Tutorials - Tutorials Y4 at Yew

13:30 - 16:30
Tutorial

Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages.