Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Local Information
Travel info
Registration
Code of Conduct
Remote participation
Students
Visa
Call For Sponsorship
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Tracks
ICFP 2019
Keynotes and Reports
Research Papers
Workshops
Tutorials
Research Artifacts
Student Volunteering
Student Research Competition
Workshops
Erlang
FARM
FHPNC
HIW
ML
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposiums
Haskell
Organization
ICFP 2019
Organizing Committee
Steering Committee
Research Papers
Program Committee
External Review Committee
Research Artifacts
Artifact Evaluation Committee
Student Volunteering
Committee
Student Research Competition
Poster and Presentation Judges
Program Committee
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
HIW
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW @ ICFP
Organizing Committee
Speakers
Scheme
Organizing Committee
Program Committee
TyDe
Organizing Committee
Program Committee
miniKanren
Organizing Committee
Program Committee
Co-hosted Symposiums
Haskell
Program Committee
Search
Series
Series
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2019
(
series
) /
Tutorials
ICFP 2019
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
Display in different time zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
Apply
Dates
×
You're viewing the program in a time zone which is different from your device's time zone -
change time zone
Thu 22 Aug
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
icfp-2019-tutorials
09:00 - 12:00:
Tutorials
- Tutorials B1 at
Birch
icfp-2019-tutorials
09:00 - 12:00
Tutorial
Fine-grained program reasoning using linear and graded modal types
Harley D. Eades III
Augusta University
,
Dominic Orchard
University of Kent, UK
,
Vilem-Benjamin Liepelt
University of Kent, UK
icfp-2019-tutorials
09:00 - 12:00:
Tutorials
- Tutorials R1 at
Reindeer
icfp-2019-tutorials
09:00 - 12:00
Tutorial
Verifying Imperative Programs with SAW
David Thrane Christiansen
Galois, USA
,
Iavor Diatchki
Galois, Inc.
icfp-2019-tutorials
09:00 - 12:00:
Tutorials
- Tutorials Y1 at
Yew
icfp-2019-tutorials
09:00 - 12:00
Tutorial
Functional Software Architecture
Michael Sperber
Active Group GmbH
icfp-2019-catering
12:00 - 13:30:
Catering
- Lunch at
Restaurant
icfp-2019-tutorials
13:30 - 16:30:
Tutorials
- Tutorials B2 at
Birch
icfp-2019-tutorials
13:30 - 16:30
Tutorial
Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift
Michal J. Gajda
icfp-2019-tutorials
13:30 - 16:30:
Tutorials
- Tutorials R2 at
Reindeer
icfp-2019-tutorials
13:30 - 16:30
Tutorial
Verifying Imperative Programs with SAW
David Thrane Christiansen
Galois, USA
,
Iavor Diatchki
Galois, Inc.
icfp-2019-tutorials
13:30 - 16:30:
Tutorials
- Tutorials Y2 at
Yew
icfp-2019-tutorials
13:30 - 16:30
Tutorial
Teaching functional programming
Michael Sperber
Active Group GmbH
Fri 23 Aug
Times are displayed in time zone:
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
icfp-2019-tutorials
09:00 - 12:00:
Tutorials
- Tutorials B3 at
Birch
icfp-2019-tutorials
09:00 - 12:00
Tutorial
Folding/Unfolding with Scala
Simon Hafner
icfp-2019-tutorials
09:00 - 12:00:
Tutorials
- Tutorials R3 at
Reindeer
icfp-2019-tutorials
09:00 - 12:00
Tutorial
Programming Language Foundations in Agda
Philip Wadler
University of Edinburgh, UK
icfp-2019-tutorials
09:00 - 12:00:
Tutorials
- Tutorials Y3 at
Yew
icfp-2019-tutorials
09:00 - 12:00
Tutorial
Building C++ project with Shake
Semen Trygubenko
icfp-2019-catering
12:00 - 13:30:
Catering
- Lunch at
Restaurant
icfp-2019-tutorials
13:30 - 16:30:
Tutorials
- Tutorials R4 at
Reindeer
icfp-2019-tutorials
13:30 - 16:30
Tutorial
Programming Language Foundations in Agda
Philip Wadler
University of Edinburgh, UK
icfp-2019-tutorials
13:30 - 16:30:
Tutorials
- Tutorials Y4 at
Yew
icfp-2019-tutorials
13:30 - 16:30
Tutorial
Write you a mini-GRIN, a unified compiler back-end for lazy and strict FP languages.
Andor Penzes
x
Wed 12 Aug 00:00