Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameIllinois Central
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 23 Sep

hiw-2018-papers
09:00 - 10:00: HIW 2018 - Invited Talk at Illinois Central
Chair(s): Joachim BreitnerDFINITY Foundation
hiw-2018-papers09:00 - 09:05
Day opening
Joachim BreitnerDFINITY Foundation
hiw-2018-papers09:05 - 10:00
Talk
Media Attached
hiw-2018-papers
10:20 - 12:00: HIW 2018 - GHC at Illinois Central
Chair(s): Ben GamariWell-Typed LLP
hiw-2018-papers10:20 - 10:45
Talk
Simon Peyton JonesMicrosoft, UK
File Attached
hiw-2018-papers10:45 - 11:10
Talk
Matthew PickeringUniversity of Bristol
Media Attached
hiw-2018-papers11:10 - 11:35
Talk
Ryan ScottIndiana University at Bloomington, USA
File Attached
hiw-2018-papers11:35 - 11:43
Talk
Chris SmithGoogle, USA
hiw-2018-papers11:43 - 11:51
Talk
File Attached
hiw-2018-papers11:51 - 12:00
Talk
Media Attached
hiw-2018-papers
13:30 - 15:10: HIW 2018 - Types at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
hiw-2018-papers13:30 - 13:55
Talk
Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA
Link to publication File Attached
hiw-2018-papers13:55 - 14:20
Talk
My NguyenBryn Mawr College
File Attached
hiw-2018-papers14:20 - 14:45
Talk
Matthew PickeringUniversity of Bristol, Arnaud SpiwackTweag I/O
Media Attached
hiw-2018-papers14:45 - 14:53
Talk
Link to publication File Attached
hiw-2018-papers14:53 - 15:01
Talk
Shao ChengTweag I/O
Media Attached
hiw-2018-papers15:01 - 15:10
Talk
hiw-2018-papers
15:30 - 16:45: HIW 2018 - Tools and Hardware at Illinois Central
Chair(s): Joachim BreitnerDFINITY Foundation
hiw-2018-papers15:30 - 15:55
Talk
File Attached
hiw-2018-papers15:55 - 16:20
Talk
Christiaan BaaijQBayLogic B.V.
File Attached
hiw-2018-papers16:20 - 16:28
Talk
hiw-2018-papers16:28 - 16:45
Other
Simon Peyton JonesMicrosoft, UK

Thu 27 Sep

haskellsymp-2018-papers
09:00 - 10:00: Haskell 2018 - Keynote at Illinois Central
Chair(s): Nicolas WuUniversity of Bristol, UK
haskellsymp-2018-papers09:00 - 09:05
Day opening
Nicolas WuUniversity of Bristol, UK
haskellsymp-2018-papers09:05 - 10:00
Talk
haskellsymp-2018-papers
10:30 - 12:00: Haskell 2018 - Session 1 at Illinois Central
Chair(s): Michael D. AdamsUniversity of Utah
haskellsymp-2018-papers10:30 - 11:00
Talk
Martin A. T. HandleyUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
DOI
haskellsymp-2018-papers11:00 - 11:30
Talk
Marilyn SunTufts University, USA, Kathleen FisherTufts University, USA
DOI
haskellsymp-2018-papers11:30 - 12:00
Talk
Guido MartínezCIFASIS-CONICET, Argentina, Mauro JaskelioffCONICET, Argentina, Guido De LucaUniversidad Nacional de Rosario, Argentina
DOI
haskellsymp-2018-papers
13:30 - 15:00: Haskell 2018 - Session 2 at Illinois Central
Chair(s): Sam LindleyUniversity of Edinburgh, UK
haskellsymp-2018-papers13:30 - 14:00
Talk
Manuel BärenzUniversity of Vienna, Austria, Ivan PerezNational Institute of Aerospace, USA
DOI
haskellsymp-2018-papers14:00 - 14:30
Talk
Dong HanBeijing Bytedance, China, Tao HeBeijing Bytedance, China
DOI
haskellsymp-2018-papers14:30 - 15:00
Talk
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK
DOI
haskellsymp-2018-papers
15:30 - 16:00: Haskell 2018 - Session 3 at Illinois Central
Chair(s): Ryan Yates
haskellsymp-2018-papers15:30 - 16:00
Talk
Matt NoonanKataskeue, USA
DOI

Fri 28 Sep

haskellsymp-2018-papers
09:00 - 10:00: Haskell 2018 - Session 4 at Illinois Central
Chair(s): Iavor DiatchkiGalois, Inc.
haskellsymp-2018-papers09:00 - 09:30
Talk
Baldur Blöndaln.n., n.n., Andres LöhWell-Typed, UK, Ryan ScottIndiana University at Bloomington, USA
DOI
haskellsymp-2018-papers09:30 - 10:00
Talk
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
DOI
haskellsymp-2018-papers
10:30 - 12:00: Haskell 2018 - Session 5 at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
haskellsymp-2018-papers10:30 - 11:00
Talk
Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK
DOI
haskellsymp-2018-papers11:00 - 11:30
Talk
Divesh OtwaniHaverford College, USA, Richard A. EisenbergBryn Mawr College, USA
DOI
haskellsymp-2018-papers11:30 - 12:00
Talk
Matthías Páll GissurarsonChalmers University of Technology, Sweden
DOI
haskellsymp-2018-papers
13:30 - 15:00: Haskell 2018 - Session 6 at Illinois Central
Chair(s): Brent YorgeyHendrix College
haskellsymp-2018-papers13:30 - 14:00
Talk
Joachim BreitnerDFINITY Foundation
DOI
haskellsymp-2018-papers14:00 - 14:30
Talk
Agustín MistaUniversidad Nacional de Rosario, Argentina, Alejandro RussoChalmers University of Technology, Sweden, John HughesChalmers University of Technology, Sweden
DOI
haskellsymp-2018-papers14:30 - 15:00
Talk
Thomas WinantKU Leuven, Belgium, Dominique DevrieseVrije Universiteit Brussel, Belgium
DOI
haskellsymp-2018-papers
15:30 - 16:00: Haskell 2018 - Session 7 at Illinois Central
Chair(s): Simon MarlowFacebook
haskellsymp-2018-papers15:30 - 15:59
Talk
Niki VazouUniversity of Maryland, USA, Joachim BreitnerDFINITY Foundation, Rose KunkelUniversity of Maryland, USA, David Van HornUniversity of Maryland, USA, Graham HuttonUniversity of Nottingham, UK
DOI
haskellsymp-2018-papers15:59 - 16:00
Talk
Nicolas WuUniversity of Bristol, UK

Sun 23 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Illinois Central
09:00 - 10:00
10:20 - 12:00
13:30 - 15:10

Thu 27 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Illinois Central
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 16:00

Fri 28 Sep 2018

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Illinois Central
09:00 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 16:00