NPFL 2018
Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States
co-located with
ICFP 2018
Toggle navigation
Attending
Venue: Stifel Theatre
Venue: Union Station Hilton
Party Spot: City Museum
Concert Hall: The Luminary
Program
NPFL Program
Your Program
Filter by Day
Sun 23 Sep
Mon 24 Sep
Tue 25 Sep
Wed 26 Sep
Thu 27 Sep
Fri 28 Sep
Sat 29 Sep
Track/Call
Organization
NPFL 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2018
(
series
) /
NPFL 2018 (
series
) /
Union Station Hilton
/
Room information: Illinois Central
Venue
Union Station Hilton
Room name
Illinois Central
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-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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-05: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-03: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+03: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 23 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Invited Talk
HIW
at
Illinois Central
Chair(s):
Joachim Breitner
DFINITY Foundation
09:00
5m
Day opening
Welcome to HIW
HIW
Joachim Breitner
DFINITY Foundation
09:05
55m
Talk
Invited Talk: Let’s Go Mainstream with Eta!
HIW
Rahul Muttineni
TypeLead
Media Attached
10:20 - 12:00
GHC
HIW
at
Illinois Central
Chair(s):
Ben Gamari
Well-Typed LLP
10:20
25m
Talk
GHC Update
HIW
Simon Peyton Jones
Microsoft, UK
File Attached
10:45
25m
Talk
Source Plugins
HIW
Matthew Pickering
University of Bristol
Media Attached
11:10
25m
Talk
Generalized Abstract GHC.Generics
HIW
Ryan Scott
Indiana University at Bloomington, USA
File Attached
11:35
8m
Talk
Lightning talk: CodeWorld: Teaching Haskell and mathematics to children
HIW
Chris Smith
Google, USA
11:43
8m
Talk
Lightning talk: CoreSpec: Verifying GHC with hs-to-coq
HIW
Antal Spector-Zabusky
File Attached
11:51
9m
Talk
Lightning talk: The trick which makes exceptions-0.10.0 possible
HIW
Samuel Gélineau
SimSpace
Media Attached
13:30 - 15:10
Types
HIW
at
Illinois Central
Chair(s):
Niki Vazou
University of Maryland, USA
13:30
25m
Talk
Coercion Quantification
HIW
Ningning Xie
University of Toronto
,
Richard A. Eisenberg
Bryn Mawr College, USA
Link to publication
File Attached
13:55
25m
Talk
Type-level visible type application
HIW
My Nguyen
Bryn Mawr College
File Attached
14:20
25m
Talk
Implementing Linear Haskell
HIW
Matthew Pickering
University of Bristol
,
Arnaud Spiwack
Tweag I/O
Media Attached
14:45
8m
Talk
Lightning talk: Implementing a VMware Haskell Client with Extensible Records
HIW
Matthew Russell
SimSpace
Link to publication
File Attached
14:53
8m
Talk
Lightning talk: Asterius: Bringing Haskell to WebAssembly
HIW
Cheng Shao
Tweag I/O
Media Attached
15:01
9m
Talk
Lightning talk: Perfomance impact of control flow optimization
HIW
Andreas Klebinger
15:30 - 16:45
Tools and Hardware
HIW
at
Illinois Central
Chair(s):
Joachim Breitner
DFINITY Foundation
15:30
25m
Talk
Pier: yet another Haskell build tool
HIW
Judah Jacobson
File Attached
15:55
25m
Talk
Clash: a practical Haskell to circuit compiler
HIW
Christiaan Baaij
QBayLogic B.V.
File Attached
16:20
8m
Talk
Lightning talk: More Explicit Foralls in GHC
HIW
Matthew Yacavone
16:28
17m
Other
GHC Community Discussion
HIW
Simon Peyton Jones
Microsoft, UK
Thu 27 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Keynote
Haskell
at
Illinois Central
Chair(s):
Nicolas Wu
University of Bristol, UK
09:00
5m
Day opening
Welcome and Chair's Report
Haskell
Nicolas Wu
University of Bristol, UK
09:05
55m
Talk
Neither Web nor Assembly (Invited Talk)
Haskell
Andreas Rossberg
Dfinity
10:30 - 12:00
Session 1
Haskell
at
Illinois Central
Chair(s):
Michael D. Adams
University of Utah
10:30
30m
Talk
AutoBench: Comparing the Time Performance of Haskell Programs
Haskell
Martin A. T. Handley
University of Nottingham, UK
,
Graham Hutton
University of Nottingham, UK
DOI
11:00
30m
Talk
Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration)
Haskell
Marilyn Sun
Tufts University, USA
,
Kathleen Fisher
Tufts University, USA
DOI
11:30
30m
Talk
Improving Typeclass Relations by Being Open
Haskell
Guido Martínez
CIFASIS-CONICET, Argentina
,
Mauro Jaskelioff
CONICET, Argentina
,
Guido De Luca
Universidad Nacional de Rosario, Argentina
DOI
13:30 - 15:00
Session 2
Haskell
at
Illinois Central
Chair(s):
Sam Lindley
University of Edinburgh, UK
13:30
30m
Talk
Rhine: FRP with Type-Level Clocks
Haskell
Manuel Bärenz
University of Vienna, Austria
,
Ivan Perez
National Institute of Aerospace, USA
DOI
14:00
30m
Talk
A High-Performance Multicore IO Manager Based on libuv (Experience Report)
Haskell
Dong Han
Beijing Bytedance, China
,
Tao He
Beijing Bytedance, China
DOI
14:30
30m
Talk
Embedding Invertible Languages with Binders: A Case of the FliPpr Language
Haskell
Kazutaka Matsuda
Tohoku University, Japan
,
Meng Wang
University of Bristol, UK
DOI
15:30 - 16:00
Session 3
Haskell
at
Illinois Central
Chair(s):
Ryan Yates
15:30
30m
Talk
Ghosts of Departed Proofs (Functional Pearl)
Haskell
Matt Noonan
Kataskeue, USA
DOI
Fri 28 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Session 4
Haskell
at
Illinois Central
Chair(s):
Iavor Diatchki
Galois, Inc.
09:00
30m
Talk
Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
Haskell
Baldur Blöndal
n.n., n.n.
,
Andres Löh
Well-Typed, UK
,
Ryan Scott
Indiana University at Bloomington, USA
DOI
09:30
30m
Talk
Generic Programming of All Kinds
Haskell
Alejandro Serrano
Utrecht University, Netherlands
,
Victor Cacciari Miraldo
Utrecht University, Netherlands
DOI
10:30 - 12:00
Session 5
Haskell
at
Illinois Central
Chair(s):
Niki Vazou
University of Maryland, USA
10:30
30m
Talk
Type Variables in Patterns
Haskell
Richard A. Eisenberg
Bryn Mawr College, USA
,
Joachim Breitner
DFINITY Foundation
,
Simon Peyton Jones
Microsoft, UK
DOI
11:00
30m
Talk
The Thoralf Plugin: For Your Fancy Type Needs
Haskell
Divesh Otwani
Haverford College, USA
,
Richard A. Eisenberg
Bryn Mawr College, USA
DOI
11:30
30m
Talk
Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
Haskell
Matthías Páll Gissurarson
Chalmers University of Technology, Sweden
DOI
13:30 - 15:00
Session 6
Haskell
at
Illinois Central
Chair(s):
Brent Yorgey
Hendrix College
13:30
30m
Talk
A Promise Checked Is a Promise Kept: Inspection Testing
Haskell
Joachim Breitner
DFINITY Foundation
DOI
14:00
30m
Talk
Branching Processes for QuickCheck Generators
Haskell
Agustín Mista
Universidad Nacional de Rosario, Argentina
,
Alejandro Russo
Chalmers University of Technology, Sweden
,
John Hughes
Chalmers University of Technology, Sweden
DOI
14:30
30m
Talk
Coherent Explicit Dictionary Application for Haskell
Haskell
Thomas Winant
KU Leuven, Belgium
,
Dominique Devriese
Vrije Universiteit Brussel, Belgium
DOI
File Attached
15:30 - 16:00
Session 7
Haskell
at
Illinois Central
Chair(s):
Simon Marlow
Facebook
15:30
29m
Talk
Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl)
Haskell
Niki Vazou
University of Maryland, USA
,
Joachim Breitner
DFINITY Foundation
,
Rose Kunkel
University of Maryland, USA
,
David Van Horn
University of Maryland, USA
,
Graham Hutton
University of Nottingham, UK
DOI
15:59
1m
Talk
Closing Statement
Haskell
Nicolas Wu
University of Bristol, UK
Sun 23 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Illinois Central
HIW
Invited Talk
HIW
GHC
HIW
Types
HIW
Tools and Hardware
Thu 27 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Illinois Central
Haskell
Keynote
Haskell
Session 1
Haskell
Session 2
Haskell
Session 3
Fri 28 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Illinois Central
Haskell
Session 4
Haskell
Session 5
Haskell
Session 6
Haskell
Session 7
Sun 23 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Illinois Central
HIW
Welcome to HIW
09:00 - 09:05
HIW
Invited Talk: Let’s Go Mainstream with Eta!
09:05 - 10:00
HIW
GHC Update
10:20 - 10:45
HIW
Source Plugins
10:45 - 11:10
HIW
Generalized Abstract GHC.Generics
11:10 - 11:35
HIW
Lightning talk: CodeWorld: Teaching Haskell and mathematics to children
11:35 - 11:43
HIW
Lightning talk: CoreSpec: Verifying GHC with hs-to-coq
11:43 - 11:51
HIW
Lightning talk: The trick which makes exceptions-0.10.0 possible
11:51 - 12:00
HIW
Coercion Quantification
13:30 - 13:55
HIW
Type-level visible type application
13:55 - 14:20
HIW
Implementing Linear Haskell
14:20 - 14:45
HIW
Lightning talk: Implementing a VMware Haskell Client with Extensible Re ...
14:45 - 14:53
HIW
Lightning talk: Asterius: Bringing Haskell to WebAssembly
14:53 - 15:01
HIW
Lightning talk: Perfomance impact of control flow optimization
15:01 - 15:10
HIW
Pier: yet another Haskell build tool
15:30 - 15:55
HIW
Clash: a practical Haskell to circuit compiler
15:55 - 16:20
HIW
Lightning talk: More Explicit Foralls in GHC
16:20 - 16:28
HIW
GHC Community Discussion
16:28 - 16:45
Thu 27 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Illinois Central
Haskell
Welcome and Chair's Report
09:00 - 09:05
Haskell
Neither Web nor Assembly (Invited Talk)
09:05 - 10:00
Haskell
AutoBench: Comparing the Time Performance of Haskell Programs
10:30 - 11:00
Haskell
Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System De ...
11:00 - 11:30
Haskell
Improving Typeclass Relations by Being Open
11:30 - 12:00
Haskell
Rhine: FRP with Type-Level Clocks
13:30 - 14:00
Haskell
A High-Performance Multicore IO Manager Based on libuv (Experience Report)
14:00 - 14:30
Haskell
Embedding Invertible Languages with Binders: A Case of the FliPpr Language
14:30 - 15:00
Haskell
Ghosts of Departed Proofs (Functional Pearl)
15:30 - 16:00
Fri 28 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Illinois Central
Haskell
Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern
09:00 - 09:30
Haskell
Generic Programming of All Kinds
09:30 - 10:00
Haskell
Type Variables in Patterns
10:30 - 11:00
Haskell
The Thoralf Plugin: For Your Fancy Type Needs
11:00 - 11:30
Haskell
Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
11:30 - 12:00
Haskell
A Promise Checked Is a Promise Kept: Inspection Testing
13:30 - 14:00
Haskell
Branching Processes for QuickCheck Generators
14:00 - 14:30
Haskell
Coherent Explicit Dictionary Application for Haskell
14:30 - 15:00
Haskell
Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functi ...
15:30 - 15:59
Haskell
Closing Statement
15:59 - 16:00
x
Sun 24 Nov 11:11