Haskell 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
co-located with
ICFP 2019
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Track/Call
Organization
Haskell 2019 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
Haskell 2024
Haskell 2023
Haskell 2022
Haskell 2021
Haskell 2020
Haskell 2019
Haskell 2018
Haskell 2017
Haskell 2016
Sign in
Sign up
ICFP 2019
(
series
) /
Haskell 2019 (
series
) /
Hotel Scandic Berlin Potsdamer Platz
/
Room information: Birch
Venue
Hotel Scandic Berlin Potsdamer Platz
Room name
Birch
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) 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) Athens
(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
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:20
Morning Keynote
Scheme
at
Birch
09:00
60m
Talk
Morning Keynote
Scheme
Edwin Brady
University of St. Andrews, UK
10:50 - 12:10
Research Session 1
Scheme
at
Birch
10:30
30m
Talk
Syntax Templates In Racket
Scheme
Ryan Culpepper
Czech Technical University
11:00
30m
Talk
Visualizing Abstract Abstract Machines
Scheme
Kyle Headley
The University of Alabama at Birmingham
11:30
30m
Talk
gLua: A modern Lua transpiler in Scheme
Scheme
Mu Lei
13:40 - 14:50
Research Session 2
Scheme
at
Birch
14:00
20m
Talk
Lightning talk: Commanding Emacs from Coq
Scheme
Joomy Korkut
Princeton University, USA
14:20
20m
Talk
Reigniting Fuse, an Online Partial Evaluator for Scheme
Scheme
Paulette Koronkevich
University of British Columbia
14:40
20m
Talk
SRFI-167, SRFI-168 and the functional store
Scheme
Amirouche Boubekki
15:20 - 16:40
Research Session 3
Scheme
at
Birch
15:30
30m
Talk
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Scheme
Satoshi Egi
Rakuten Institute of Technology
16:00
30m
Talk
Stack-Liberated Abstract Garbage Collection
Scheme
Kimball Germane
University of Utah
,
Michael D. Adams
University of Michigan
17:10 - 18:10
Afternoon Keynote
Scheme
at
Birch
17:10
60m
Talk
Afternoon Keynote
Scheme
Andy Keep
Cisco Systems, Inc
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials B1
ICFP Tutorials
at
Birch
09:00
3h
Tutorial
Fine-grained program reasoning using linear and graded modal types
ICFP Tutorials
Harley D. Eades III
Augusta University
,
Dominic Orchard
University of Kent, UK
,
Vilem-Benjamin Liepelt
University of Kent, UK
13:30 - 16:30
Tutorials B2
ICFP Tutorials
at
Birch
13:30
3h
Tutorial
Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift
ICFP Tutorials
Michal J. Gajda
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 12:00
Tutorials B3
ICFP Tutorials
at
Birch
09:00
3h
Tutorial
Folding/Unfolding with Scala
ICFP Tutorials
Simon Hafner
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Birch
Scheme
Morning Keynote
Scheme
Research Session 1
Scheme
Research Session 2
Scheme
Research Session 3
Scheme
Afternoon Keynote
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Birch
ICFP Tutorials
Tutorials B1
ICFP Tutorials
Tutorials B2
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Birch
ICFP Tutorials
Tutorials B3
ICFP Tutorials
Sun 18 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Birch
Scheme
Morning Keynote
09:00 - 10:00
Scheme
Syntax Templates In Racket
10:30 - 11:00
Scheme
Visualizing Abstract Abstract Machines
11:00 - 11:30
Scheme
gLua: A modern Lua transpiler in Scheme
11:30 - 12:00
Scheme
Lightning talk: Commanding Emacs from Coq
14:00 - 14:20
Scheme
Reigniting Fuse, an Online Partial Evaluator for Scheme
14:20 - 14:40
Scheme
SRFI-167, SRFI-168 and the functional store
14:40 - 15:00
Scheme
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non ...
15:30 - 16:00
Scheme
Stack-Liberated Abstract Garbage Collection
16:00 - 16:30
Scheme
Afternoon Keynote
17:10 - 18:10
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Birch
ICFP Tutorials
Fine-grained program reasoning using linear and graded modal types
09:00 - 12:00
ICFP Tutorials
Make your ETL pipeline with DataHaskell, JSON AutoType and XML TypeLift
13:30 - 16:30
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
Birch
ICFP Tutorials
Folding/Unfolding with Scala
09:00 - 12:00
x
Thu 18 Apr 17:36