Blogs (25) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
ICFP 2017 (series) /

ICFP 2017 Program

Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 3 Sep

icfp-2017-tutorials
09:00 - 10:00: Tutorials - Morning tutorial session 1 at L5
icfp-2017-tutorials150442200000009:00 - 10:00
Talk
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
scheme-2017
09:00 - 09:10: Scheme 2017 - Session 0 at L4
scheme-2017150442200000009:00 - 09:10
Day opening
PLMW-ICFP-2017
09:00 - 09:10: PLMW 2017 - Welcome at L1
Chair(s): Brigitte Pientka
PLMW-ICFP-2017150442200000009:00 - 09:10
Talk
Brigitte Pientka, Neelakantan R. Krishnaswami, Dan Licata
hope-2017-talks
09:00 - 09:10: HOPE 2017 - Welcome at L3
hope-2017-talks150442200000009:00 - 09:10
Day opening
François Pottier, Aleksandar Nanevski
tyde-2017-papers
09:00 - 09:05: TyDe 2017 - Welcome at L2
tyde-2017-papers150442200000009:00 - 09:05
Day opening
Sam Lindley, Brent Yorgey
tyde-2017-papers
09:05 - 10:00: TyDe 2017 - Invited talk at L2
tyde-2017-papers150442230000009:05 - 10:00
Talk
Andrew Kennedy
hope-2017-talks
09:10 - 10:00: HOPE 2017 - Invited talk at L3
hope-2017-talks150442260000009:10 - 10:10
Talk
Shin-ya Katsumata
PLMW-ICFP-2017
09:10 - 10:00: PLMW 2017 - Keynote at L1
Chair(s): Neelakantan R. Krishnaswami
PLMW-ICFP-2017150442260000009:10 - 10:00
Talk
Chris Martens
scheme-2017
09:10 - 10:10: Scheme 2017 - Session 1 at L4
scheme-2017150442260000009:10 - 10:10
Talk
Sam Tobin-Hochstadt
icfp-2017-catering
10:00 - 10:30: Catering - Sunday coffee break 1 at Catering
icfp-2017-catering150442560000010:00 - 10:30
Coffee break
tyde-2017-papers
10:30 - 11:30: TyDe 2017 - Full papers 1 at L2
tyde-2017-papers150442740000010:30 - 11:00
Talk
Marcell van Geest, Wouter Swierstra
tyde-2017-papers150442920000011:00 - 11:30
Talk
Daan Leijen
hope-2017-talks
10:30 - 11:30: HOPE 2017 - Modular Semantics at L3
hope-2017-talks150442740000010:30 - 11:00
Talk
Oleg Kiselyov
File Attached
hope-2017-talks150442920000011:00 - 11:30
Talk
Ohad Kammar, Dylan McDermott
File Attached
icfp-2017-tutorials
10:30 - 11:30: Tutorials - Morning tutorial session 2 at L5
icfp-2017-tutorials150442740000010:30 - 11:30
Talk
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
PLMW-ICFP-2017
10:30 - 11:30: PLMW 2017 - Session 1 at L1
PLMW-ICFP-2017150442740000010:30 - 11:00
Talk
Conor McBride
PLMW-ICFP-2017150442920000011:00 - 11:30
Talk
Amal Ahmed
File Attached
scheme-2017
10:30 - 11:30: Scheme 2017 - Session 2 at L4
scheme-2017150442740000010:30 - 11:15
Talk
Satoshi Egi
scheme-2017150443010000011:15 - 11:30
Talk
Joe Corneli, Raymond Puzio
icfp-2017-catering
11:20 - 12:00: Catering - Sunday coffee break 2 at Catering
icfp-2017-catering150443040000011:20 - 12:00
Coffee break
tyde-2017-papers
12:00 - 12:25: TyDe 2017 - Extended abstracts 1 at L2
tyde-2017-papers150443280000012:00 - 12:25
Talk
Zilin Chen
icfp-2017-tutorials
12:00 - 12:30: Tutorials - Morning tutorial session 3 at L5
icfp-2017-tutorials150443280000012:00 - 12:30
Talk
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
hope-2017-talks
12:00 - 12:30: HOPE 2017 - Rust at L3
hope-2017-talks150443280000012:00 - 12:30
Talk
Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer
PLMW-ICFP-2017
12:00 - 12:30: PLMW 2017 - Session 2 at L1
PLMW-ICFP-2017150443280000012:00 - 12:30
Talk
Gabriel Scherer
File Attached
scheme-2017
12:00 - 12:30: Scheme 2017 - Session 3 at L4
scheme-2017150443280000012:00 - 12:30
Talk
François-René Rideau, Marc Feeley, Arthur Gleckler, Kathy Gray, Alaric Snell-Pym, Andy Wingo
icfp-2017-catering
12:25 - 14:00: Catering - Sunday lunch at Catering
icfp-2017-catering150443430000012:25 - 14:00
Lunch
icfp-2017-tutorials
14:00 - 15:00: Tutorials - Afternoon tutorial session 1 at L5
icfp-2017-tutorials150444000000014:00 - 15:00
Talk
Jasmin Blanchette, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel
hope-2017-talks
14:00 - 15:00: HOPE 2017 - Effects and Dependent Types at L3
hope-2017-talks150444000000014:00 - 14:30
Talk
Danel Ahman
hope-2017-talks150444180000014:30 - 15:00
Talk
Youyou Cong, William J. Bowman
tyde-2017-papers
14:00 - 15:00: TyDe 2017 - Full papers 2 at L2
tyde-2017-papers150444000000014:00 - 14:30
Talk
Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu
tyde-2017-papers150444180000014:30 - 15:00
Talk
Victor Cacciari Miraldo, Pierre-Evariste Dagand, Wouter Swierstra
PLMW-ICFP-2017
14:00 - 15:00: PLMW 2017 - Session 3 at L1
PLMW-ICFP-2017150444000000014:00 - 14:30
Talk
Ronald Garcia
File Attached
PLMW-ICFP-2017150444180000014:30 - 15:00
Talk
Nada Amin
File Attached
scheme-2017
14:00 - 15:00: Scheme 2017 - Session 4 at L4
scheme-2017150444000000014:00 - 14:45
Talk
Thomas Gilray, Sidharth Kumar
scheme-2017150444270000014:45 - 15:00
Talk
Dimitris Vyzovitis
icfp-2017-catering
14:50 - 15:30: Catering - Sunday coffee break 3 at Catering
icfp-2017-catering150444300000014:50 - 15:30
Coffee break
icfp-2017-tutorials
15:30 - 16:20: Tutorials - Afternoon tutorial session 2 at L5
icfp-2017-tutorials150444540000015:30 - 16:20
Talk
Jasmin Blanchette, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel
hope-2017-talks
15:30 - 16:30: HOPE 2017 - Effects at L3
hope-2017-talks150444540000015:30 - 16:00
Talk
Daan Leijen
hope-2017-talks150444720000016:00 - 16:30
Talk
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
tyde-2017-papers
15:30 - 16:20: TyDe 2017 - Extended abstracts 2 at L2
tyde-2017-papers150444540000015:30 - 15:55
Talk
Kiko Fernandez-Reyes, Dave Clarke
tyde-2017-papers150444690000015:55 - 16:20
Talk
James McKinna
PLMW-ICFP-2017
15:30 - 16:30: PLMW 2017 - Session 4 at L1
PLMW-ICFP-2017150444540000015:30 - 16:30
Talk
Derek Dreyer
Media Attached
scheme-2017
15:30 - 16:30: Scheme 2017 - Session 5 at L4
scheme-2017150444540000015:30 - 16:15
Talk
Alaric Snell-Pym
scheme-2017150444810000016:15 - 16:30
Talk
Alain Marty
icfp-2017-catering
16:20 - 16:50: Catering - Sunday coffee break 4 at Catering
icfp-2017-catering150444840000016:20 - 16:50
Coffee break
icfp-2017-tutorials
16:50 - 17:50: Tutorials - Afternoon tutorial session 3 at L5
icfp-2017-tutorials150445020000016:50 - 17:50
Talk
Jasmin Blanchette, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel
tyde-2017-papers
16:50 - 17:40: TyDe 2017 - Extended abstracts 3 at L2
tyde-2017-papers150445020000016:50 - 17:15
Talk
Nick Brown, Ludovic Capelli, James Mark Bull
tyde-2017-papers150445170000017:15 - 17:40
Talk
Edwin Brady, Kevin Hammond, Christopher Schwaab
hope-2017-talks
16:50 - 17:40: HOPE 2017 - Monotonicity at L3
hope-2017-talks150445020000016:50 - 17:20
Talk
Danel Ahman, Cătălin Hriţcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy, Cédric Fournet
Pre-print
PLMW-ICFP-2017
16:50 - 17:40: PLMW 2017 - Session 5 at L1
PLMW-ICFP-2017150445020000016:50 - 17:40
Talk
Sam Staton, Richard A. Eisenberg, Andreas Rossberg, Daan Leijen, Amal Ahmed
scheme-2017
16:50 - 17:50: Scheme 2017 - Session 6 at L4
scheme-2017150445020000016:50 - 17:40
Talk
Matthew Might
scheme-2017150445320000017:40 - 17:50
Day closing

Mon 4 Sep

icfp-2017-Keynote-Talks
09:00 - 10:00: Keynotes and Reports - Monday Keynote at L1
Chair(s): Jeremy Gibbons
icfp-2017-Keynote-Talks150450840000009:00 - 10:00
Talk
Chris Martens
icfp-2017-catering
10:00 - 10:30: Catering - Monday coffee break 1 at Catering
icfp-2017-catering150451200000010:00 - 10:30
Coffee break
icfp-2017-papers
10:30 - 12:00: Research Papers - Art and Education at L1
Chair(s): Kathryn E. Gray
icfp-2017-papers150451380000010:30 - 10:52
Talk
Leif Andersen, Stephen Chang, Matthias Felleisen
DOI
icfp-2017-papers150451515000010:52 - 11:15
Talk
Ivan Perez, Henrik Nilsson
DOI
icfp-2017-papers150451650000011:15 - 11:37
Talk
Joachim Breitner, Chris Smith
DOI
icfp-2017-papers150451785000011:37 - 12:00
Talk
Benjamin Canou, Roberto Di Cosmo, Grégoire Henry
DOI
fscd-2017
10:30 - 10:45: FSCD 2017 - Welcome at L2
fscd-2017150451380000010:30 - 10:45
Other
Sam Staton, Dale Miller
fscd-2017
10:45 - 11:45: FSCD 2017 - Session 1 at L2
fscd-2017150451470000010:45 - 11:45
Talk
Alexandra Silva
icfp-2017-catering
12:00 - 13:00: Catering - Monday lunch at Catering
icfp-2017-catering150451920000012:00 - 13:00
Lunch
icfp-2017-papers
13:00 - 14:30: Research Papers - Functional Programming Techniques at L1
Chair(s): Graham Hutton
icfp-2017-papers150452280000013:00 - 13:22
Talk
Mike Spivey
DOI
icfp-2017-papers150452415000013:22 - 13:45
Talk
Jean-Philippe Bernardy
DOI
icfp-2017-papers150452550000013:45 - 14:07
Talk
Conal Elliott
DOI
icfp-2017-papers150452685000014:07 - 14:30
Talk
William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, Matthew Might
DOI
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 2 at L2
fscd-2017150452280000013:00 - 13:30
Talk
Akitoshi Kawamura, Florian Steinberg
fscd-2017150452460000013:30 - 14:00
Talk
Colin Riba, Pierre Pradic
fscd-2017150452640000014:00 - 14:30
Talk
Ryota Suzuki, Koichi Fujima, Naoki Kobayashi, Takeshi Tsukada
icfp-2017-catering
14:30 - 15:00: Catering - Monday coffee break 2 at Catering
icfp-2017-catering150452820000014:30 - 15:00
Coffee break
icfp-2017-papers
15:00 - 16:10: Research Papers - Applications at L1
Chair(s): Alexandra Silva
icfp-2017-papers150453000000015:00 - 15:23
Talk
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jerome Simeon
DOI
icfp-2017-papers150453140000015:23 - 15:46
Talk
Daniel Winograd-Cort, Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce
DOI
icfp-2017-papers150453280000015:46 - 16:10
Talk
Praveen Narayanan, Chung-chieh Shan
DOI
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 3 at L2
fscd-2017150453000000015:00 - 15:30
Talk
Jonas Kaiser, Brigitte Pientka, Gert Smolka
fscd-2017150453180000015:30 - 16:00
Talk
Jasmin Blanchette, Mathias Fleury, Dmitriy Traytel
icfp-2017-catering
16:10 - 16:40: Catering - Monday coffee break 3 at Catering
icfp-2017-catering150453420000016:10 - 16:40
Coffee break
icfp-2017-papers
16:40 - 18:10: Research Papers - Effects at L1
Chair(s): Ben Lippmeier
icfp-2017-papers150453600000016:40 - 17:02
Talk
David Darais, Nicholas Labich, Phúc C. Nguyễn, David Van Horn
DOI
icfp-2017-papers150453735000017:02 - 17:25
Talk
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
DOI
icfp-2017-papers150453870000017:25 - 17:47
Talk
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
DOI
icfp-2017-papers150454005000017:47 - 18:10
Talk
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
DOI
fscd-2017
16:40 - 18:10: FSCD 2017 - Session 4 at L2
fscd-2017150453600000016:40 - 17:10
Talk
Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov
fscd-2017150453780000017:10 - 17:40
Talk
Noam Zeilberger
fscd-2017150453960000017:40 - 18:10
Talk
Lutz Strassburger
icfp-2017-Keynote-Talks
18:10 - 18:20: Keynotes and Reports - Monday Closing Events at L1
Chair(s): Peter Thiemann
icfp-2017-Keynote-Talks150454140000018:10 - 18:20
Day closing
icfp-2017-Social-Events
18:30 - 20:30: Social Events - Welcome Reception at Foyer
icfp-2017-Social-Events150454260000018:30 - 20:30
Social Event

Tue 5 Sep

icfp-2017-Keynote-Talks
09:00 - 10:00: Keynotes and Reports - Tuesday Keynote at L1
Chair(s): Mark Jones
icfp-2017-Keynote-Talks150459480000009:00 - 10:00
Talk
John Launchbury
icfp-2017-catering
10:00 - 10:30: Catering - Tuesday coffee break 1 at Catering
icfp-2017-catering150459840000010:00 - 10:30
Coffee break
icfp-2017-papers
10:30 - 12:00: Research Papers - Low-level and Systems Programming at L1
Chair(s): Sam Tobin-Hochstadt
icfp-2017-papers150460020000010:30 - 10:52
Talk
Juan Pedro Bolívar Puente
DOI Pre-print
icfp-2017-papers150460155000010:52 - 11:15
Talk
Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
DOI
icfp-2017-papers150460290000011:15 - 11:37
Talk
Scott Owens, Michael Norrish, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan
DOI
icfp-2017-papers150460425000011:37 - 12:00
Talk
Geoffrey Mainland
DOI
fscd-2017
10:30 - 11:30: FSCD 2017 - Session 5 at L2
fscd-2017150460020000010:30 - 11:30
Talk
Georg Moser
fscd-2017
11:30 - 12:00: FSCD 2017 - Session 6 at L2
fscd-2017150460380000011:30 - 12:00
Talk
Daniel Hillerström, Sam Lindley, Bob Atkey, KC Sivaramakrishnan
icfp-2017-catering
12:00 - 13:00: Catering - Tuesday lunch at Catering
icfp-2017-catering150460560000012:00 - 13:00
Lunch
icfp-2017-papers
13:00 - 14:30: Research Papers - Foundations of Higher-Order Programming at L1
Chair(s): Gabriel Scherer
icfp-2017-papers150460920000013:00 - 13:22
Talk
Makoto Hamana
DOI
icfp-2017-papers150461055000013:22 - 13:45
Talk
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
DOI
icfp-2017-papers150461190000013:45 - 14:07
Talk
Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner
DOI
icfp-2017-papers150461325000014:07 - 14:30
Talk
Milo Davis, William Meehan, Olin Shivers
DOI
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 7 at L2
fscd-2017150460920000013:00 - 13:30
Talk
Lukasz Czajka
fscd-2017150461100000013:30 - 14:00
Talk
Takahito Aoto, Yoshihito Toyama, Yuta Kimura
fscd-2017150461280000014:00 - 14:30
Talk
Yohji Akama
icfp-2017-catering
14:30 - 15:00: Catering - Tuesday coffee break 2 at Catering
icfp-2017-catering150461460000014:30 - 15:00
Coffee break
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 8 at L2
fscd-2017150461640000015:00 - 15:30
Talk
Stefano Guerrini, Marco Solieri
fscd-2017150461820000015:30 - 16:00
Talk
Pablo Barenbaum, Eduardo Bonelli
icfp-2017-papers
15:00 - 16:10: Research Papers - Tools for Verification at L1
Chair(s): Nikhil Swamy
icfp-2017-papers150461640000015:00 - 15:23
Talk
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind
DOI
icfp-2017-papers150461780000015:23 - 15:46
Talk
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock
DOI
icfp-2017-papers150461920000015:46 - 16:10
Talk
Benjamin Cosman, Ranjit Jhala
DOI
icfp-2017-catering
16:10 - 16:40: Catering - Tuesday coffee break 3 at Catering
icfp-2017-catering150462060000016:10 - 16:40
Coffee break
icfp-2017-papers
16:40 - 17:50: Research Papers - Program Construction at L1
Chair(s): John Hughes
icfp-2017-papers150462240000016:40 - 17:03
Talk
Conal Elliott
DOI
icfp-2017-papers150462380000017:03 - 17:26
Talk
François Pottier
DOI
icfp-2017-papers150462520000017:26 - 17:50
Talk
Jeremy Yallop
DOI Pre-print
fscd-2017
16:40 - 18:10: FSCD 2017 - Session 9 at L2
fscd-2017150462240000016:40 - 17:10
Talk
Malgorzata Biernacka, Witold Charatonik, Klara Zielińska
fscd-2017150462420000017:10 - 17:40
Talk
Simon Castellan, Pierre Clairambault, Glynn Winskel
fscd-2017150462600000017:40 - 18:10
Talk
Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
icfp-2017-Keynote-Talks
17:50 - 18:20: Keynotes and Reports - Tuesday Closing Events at L1
icfp-2017-Keynote-Talks150462660000017:50 - 18:20
Talk
Sam Lindley

Wed 6 Sep

icfp-2017-Student-Research-Competition
09:00 - 09:37: Student Research Competition - SRC Presentations at L1
Chair(s): Ilya Sergey
icfp-2017-Student-Research-Competition150468120000009:00 - 09:37
Awards
fscd-2017
09:00 - 10:00: FSCD 2017 - Session 10 at L2
fscd-2017150468120000009:00 - 10:00
Talk
Christine Tasson
icfp-2017-papers
09:37 - 10:00: Research Papers - Domain-Specific Languages at L1
Chair(s): Martin Erwig
icfp-2017-papers150468342000009:37 - 10:00
Talk
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, Robby Findler
DOI
icfp-2017-catering
10:00 - 10:30: Catering - Wednesday coffee break 1 at Catering
icfp-2017-catering150468480000010:00 - 10:30
Coffee break
icfp-2017-papers
10:30 - 12:00: Research Papers - Dependently Typed Programming at L1
Chair(s): Dan Licata
icfp-2017-papers150468660000010:30 - 10:52
Talk
Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg
DOI
icfp-2017-papers150468795000010:52 - 11:15
Talk
Andreas Nuyts, Andrea Vezzosi, Dominique Devriese
DOI
icfp-2017-papers150468930000011:15 - 11:37
Talk
Andreas Abel, Andrea Vezzosi, Theo Winterhalter
DOI
icfp-2017-papers150469065000011:37 - 12:00
Talk
Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, Leonardo De Moura
DOI
fscd-2017
10:30 - 12:00: FSCD 2017 - Session 11 at L2
fscd-2017150468660000010:30 - 11:00
Talk
Benedikt Ahrens, Peter Lefanu Lumsdaine
fscd-2017150468840000011:00 - 11:30
Talk
Marcelo Fiore, Philip Saville
fscd-2017150469020000011:30 - 12:00
Talk
Robin Cockett, Jean-Simon Lemay
icfp-2017-catering
12:00 - 13:00: Catering - Wednesday lunch at Catering
icfp-2017-catering150469200000012:00 - 13:00
Lunch
icfp-2017-papers
13:00 - 14:30: Research Papers - Contracts and Sessions at L1
Chair(s): Matthew Flatt
icfp-2017-papers150469560000013:00 - 13:22
Talk
Hernan Melgratti, Luca Padovani
DOI
icfp-2017-papers150469695000013:22 - 13:45
Talk
Lucas Waye, Christos Dimoulas, Stephen Chong
DOI
icfp-2017-papers150469830000013:45 - 14:07
Talk
Stephanie Balzer, Frank Pfenning
DOI
icfp-2017-papers150469965000014:07 - 14:30
Talk
Atsushi Igarashi, Peter Thiemann, Vasco Vasconcelos, Philip Wadler
DOI
fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-2017150469560000013:00 - 13:30
Talk
Dan Licata, Michael Shulman, Mitchell Riley
fscd-2017150469740000013:30 - 14:00
Talk
Paolo Pistone
fscd-2017150469920000014:00 - 14:30
Talk
Andrew Pitts, Ian Orton
icfp-2017-catering
14:30 - 15:00: Catering - Wednesday coffee break 2 at Catering
icfp-2017-catering150470100000014:30 - 15:00
Coffee break
icfp-2017-papers
15:00 - 16:10: Research Papers - Integrating Static and Dynamic Typing at L1
Chair(s): Ronald Garcia
icfp-2017-papers150470280000015:00 - 15:23
Talk
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler
DOI
icfp-2017-papers150470420000015:23 - 15:46
Talk
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
DOI
icfp-2017-papers150470560000015:46 - 16:10
Talk
Giuseppe Castagna, Victor Lanvin
DOI
fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-2017150470280000015:00 - 15:30
Talk
Patrick Bahr
fscd-2017150470460000015:30 - 16:00
Talk
Nao Hirokawa, aart Middeldorp, Christian Sternagel, Sarah Winkler
icfp-2017-catering
16:10 - 16:40: Catering - Wednesday coffee break 3 at Catering
icfp-2017-catering150470700000016:10 - 16:40
Coffee break
icfp-2017-papers
16:40 - 17:50: Research Papers - Inference and Analysis at L1
Chair(s): Mark Jones
icfp-2017-papers150470880000016:40 - 17:03
Talk
J. Garrett Morris, Richard A. Eisenberg
DOI
icfp-2017-papers150471020000017:03 - 17:26
Talk
Martin Avanzini, Ugo Dal Lago
DOI
icfp-2017-papers150471160000017:26 - 17:50
Talk
Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand
DOI
fscd-2017
16:40 - 17:10: FSCD 2017 - Session 14 at L2
fscd-2017150470880000016:40 - 17:10
Talk
Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein
fscd-2017
17:10 - 17:20: FSCD 2017 - Termination and Complexity Competition 2017 at L2
fscd-2017150471060000017:10 - 17:20
Other
Jürgen Giesl, Albert Rubio, Johannes Waldmann, Akihisa Yamada
fscd-2017
17:20 - 18:10: FSCD 2017 - FSCD General Meeting at L2
fscd-2017150471120000017:20 - 18:10
Meeting
icfp-2017-Student-Research-Competition
17:50 - 18:00: Student Research Competition - SRC Awards at L1
Chair(s): Ilya Sergey
icfp-2017-Student-Research-Competition150471300000017:50 - 18:00
Awards
Ilya Sergey
icfp-2017-Keynote-Talks
18:00 - 18:20: Keynotes and Reports - Wednesday Closing Events at L1
icfp-2017-Keynote-Talks150471360000018:00 - 18:10
Talk
Mark Jones
icfp-2017-Keynote-Talks150471420000018:10 - 18:20
Talk
Robby Findler
icfp-2017-Social-Events
18:30 - 22:30: Social Events - Banquet at Weston Library
icfp-2017-Social-Events150471540000018:30 - 22:30
Social Event

Thu 7 Sep

cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C1 at L6
Chair(s): Runhang Li
cufp-2017-talks150476760000009:00 - 10:00
Other
Yaron Minsky, Sebastian Funk
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C2 at L5
Chair(s): Runhang Li
cufp-2017-talks150476760000009:00 - 10:00
Other
Oleg Kiselyov
haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 1, Session 1 at L1
haskellsymp-2017-papers150476760000009:00 - 10:00
Talk
Didier Rémy
fscd-2017
09:00 - 10:00: FSCD 2017 - Session 15 at L2
fscd-2017150476760000009:00 - 10:00
Talk
Marco Gaboardi
mlfamilyworkshop-2017-papers
09:00 - 09:05: ML 2017 - Welcome at L3
Chair(s): Sam Lindley
mlfamilyworkshop-2017-papers150476760000009:00 - 09:05
Day opening
FHPC-2017-papers
09:00 - 09:10: FHPC 2017 - Welcome to FHPC'17 at L4
FHPC-2017-papers150476760000009:00 - 09:10
Day opening
Phil Trinder, Cosmin Oancea
mlfamilyworkshop-2017-papers
09:05 - 10:00: ML 2017 - Invited talk at L3
Chair(s): Sam Lindley
mlfamilyworkshop-2017-papers150476790000009:05 - 10:00
Talk
Edwin Brady
FHPC-2017-papers
09:10 - 10:10: FHPC 2017 - First Keynote at L4
Chair(s): Kevin Hammond
FHPC-2017-papers150476820000009:10 - 10:10
Talk
Simon Marlow
icfp-2017-catering
10:00 - 10:30: Catering - Thursday coffee break 1 at Catering
icfp-2017-catering150477120000010:00 - 10:30
Coffee break
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C1 at L6
cufp-2017-talks150477300000010:30 - 11:30
Talk
Yaron Minsky, Sebastian Funk
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C2 at L5
cufp-2017-talks150477300000010:30 - 11:30
Talk
Oleg Kiselyov
FHPC-2017-papers
10:30 - 11:30: FHPC 2017 - Compilation at L4
Chair(s): Phil Trinder
FHPC-2017-papers150477300000010:30 - 11:00
Talk
Geoffrey Mainland, Siddhanathan Shanmugam
FHPC-2017-papers150477480000011:00 - 11:30
Talk
Amir Shaikhha, Andrew Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis
haskellsymp-2017-papers
10:30 - 11:30: Haskell 2017 - Day 1, Session 2 at L1
haskellsymp-2017-papers150477300000010:30 - 11:00
Talk
Andrey Mokhov
haskellsymp-2017-papers150477480000011:00 - 11:30
Talk
Mario Blažević, Jacques Légaré
fscd-2017
10:30 - 11:59: FSCD 2017 - Session 16 at L2
fscd-2017150477300000010:30 - 11:00
Talk
Benjamin Lichtman, Jan Hoffmann
fscd-2017150477480000011:00 - 11:30
Talk
Andrej Dudenhefner, Jakob Rehof
fscd-2017150477660000011:30 - 11:59
Talk
Delia Kesner, Pierre Vial
mlfamilyworkshop-2017-papers
10:30 - 11:45: ML 2017 - Types and modules at L3
mlfamilyworkshop-2017-papers150477300000010:30 - 10:55
Talk
Gowtham Kaki, KC Sivaramakrishnan, Samodya Abeysiriwardane, Suresh Jagannathan
mlfamilyworkshop-2017-papers150477450000010:55 - 11:20
Talk
Gabriel Radanne, Jérôme Vouillon
mlfamilyworkshop-2017-papers150477600000011:20 - 11:45
Talk
Jeremy Yallop, Stephen Dolan
icfp-2017-catering
11:20 - 12:00: Catering - Thursday coffee break 2 at Catering
icfp-2017-catering150477600000011:20 - 12:00
Coffee break
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C1 at L6
cufp-2017-talks150477840000012:00 - 12:30
Talk
Yaron Minsky, Sebastian Funk
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C2 at L5
cufp-2017-talks150477840000012:00 - 12:30
Talk
Oleg Kiselyov
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 1, Session 3 at L1
haskellsymp-2017-papers150477840000012:00 - 12:30
Talk
Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner
FHPC-2017-papers
12:00 - 12:30: FHPC 2017 - Tools at L4
Chair(s): Cosmin Oancea
FHPC-2017-papers150477840000012:00 - 12:30
Talk
Maximilian Algehed, Patrik Jansson
mlfamilyworkshop-2017-papers
12:00 - 12:25: ML 2017 - Verification at L3
mlfamilyworkshop-2017-papers150477840000012:00 - 12:25
Talk
Arthur Charguéraud, Jean-Christophe Filliatre, Mário Pereira, François Pottier
icfp-2017-catering
12:25 - 14:00: Catering - Thursday lunch at Catering
icfp-2017-catering150477990000012:25 - 14:00
Lunch
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C3 at L5
Chair(s): Runhang Li
cufp-2017-talks150478560000014:00 - 15:00
Other
Daniel Hillerström, KC Sivaramakrishnan
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C4 at L6
Chair(s): Runhang Li
cufp-2017-talks150478560000014:00 - 15:00
Talk
Romain Calascibetta
haskellsymp-2017-papers
14:00 - 15:00: Haskell 2017 - Day 1, Session 4 at L1
haskellsymp-2017-papers150478560000014:00 - 14:30
Demonstration
Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone
haskellsymp-2017-papers150478740000014:30 - 15:00
Talk
Rudy Braquehais, Colin Runciman
FHPC-2017-papers
14:00 - 15:00: FHPC 2017 - Parallel Programming at L4
Chair(s): Geoffrey Mainland
FHPC-2017-papers150478560000014:00 - 14:30
Talk
Adam Barwell, Kevin Hammond
FHPC-2017-papers150478740000014:30 - 15:00
Talk
Rasmus Wriedt Larsen, Troels Henriksen
mlfamilyworkshop-2017-papers
14:00 - 15:15: ML 2017 - Programming language design at L3
mlfamilyworkshop-2017-papers150478560000014:00 - 14:25
Talk
Pierre Delaunay, Vincent Archambault-Bouffard, Stefan Monnier
mlfamilyworkshop-2017-papers150478710000014:25 - 14:50
Talk
Petr Lozov, Dmitri Boulytchev
mlfamilyworkshop-2017-papers150478860000014:50 - 15:15
Talk
Koko Muroya
icfp-2017-catering
14:50 - 15:30: Catering - Thursday coffee break 3 at Catering
icfp-2017-catering150478860000014:50 - 15:30
Coffee break
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks150479100000015:30 - 16:20
Talk
Daniel Hillerström, KC Sivaramakrishnan
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C4 at L6
cufp-2017-talks150479100000015:30 - 16:20
Talk
Romain Calascibetta
haskellsymp-2017-papers
15:30 - 16:30: Haskell 2017 - Day 1, Session 5 at L1
haskellsymp-2017-papers150479100000015:30 - 16:00
Talk
John Wiegley, Benjamin Delaware
haskellsymp-2017-papers150479280000016:00 - 16:30
Talk
Niki Vazou, Leonidas Lampropoulos, Jeff Polakow
FHPC-2017-papers
15:30 - 16:30: FHPC 2017 - Demo Session at L4
Chair(s): Cosmin Oancea
FHPC-2017-papers150479100000015:30 - 15:59
Demonstration
Troels Henriksen
FHPC-2017-papers150479280000016:00 - 16:29
Demonstration
Christopher Brown, Kevin Hammond
FHPC-2017-papers150479460000016:30 - 16:50
Social Event
mlfamilyworkshop-2017-papers
15:30 - 16:20: ML 2017 - Performance at L3
mlfamilyworkshop-2017-papers150479100000015:30 - 15:55
Talk
Atsushi Ohori, Kenjiro Taura, Katsuhiro Ueno
mlfamilyworkshop-2017-papers150479250000015:55 - 16:20
Talk
Arthur Charguéraud, Mike Rainey
icfp-2017-catering
16:20 - 16:50: Catering - Thursday coffee break 4 at Catering
icfp-2017-catering150479400000016:20 - 16:50
Coffee break
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C3 at L5
cufp-2017-talks150479580000016:50 - 17:30
Talk
Daniel Hillerström, KC Sivaramakrishnan
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C4 at L6
cufp-2017-talks150479580000016:50 - 17:30
Talk
Romain Calascibetta
haskellsymp-2017-papers
16:50 - 17:50: Haskell 2017 - Day 1, Session 6 at L1
haskellsymp-2017-papers150479580000016:50 - 17:20
Talk
Anton Ekblad
haskellsymp-2017-papers150479760000017:20 - 17:50
Talk
Justin Dawson, Mark Grebe, Andy Gill
FHPC-2017-papers
16:50 - 17:50: FHPC 2017 - Demo and Panel at L4
Chair(s): Phil Trinder
FHPC-2017-papers150479580000016:50 - 17:20
Demonstration
Siddhanathan Shanmugam, Geoffrey Mainland
FHPC-2017-papers150479760000017:20 - 17:50
Day closing
Geoffrey Mainland, Kevin Hammond, Simon Marlow
mlfamilyworkshop-2017-papers
16:50 - 17:40: ML 2017 - Effects at L3
mlfamilyworkshop-2017-papers150479580000016:50 - 17:15
Talk
Oleg Kiselyov
mlfamilyworkshop-2017-papers150479730000017:15 - 17:40
Talk
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
icfp-2017-Social-Events
18:15 - 20:30: Social Events - Industry Reception at Ashmolean Museum
icfp-2017-Social-Events150480090000018:15 - 20:30
Social Event

Fri 8 Sep

cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C5 at L6
Chair(s): Runhang Li
cufp-2017-talks150485400000009:00 - 10:00
Talk
Michael Sperber
cufp-2017-talks
09:00 - 10:00: CUFP 2017 - CUFP Tutorials C6 at L5
Chair(s): Runhang Li
cufp-2017-talks150485400000009:00 - 10:00
Talk
Renzo Borgatti
haskellsymp-2017-papers
09:00 - 10:00: Haskell 2017 - Day 2, Session 1 at L1
haskellsymp-2017-papers150485400000009:00 - 10:00
Talk
Donya Quick
ocaml-2017-talks
09:00 - 09:10: OCaml 2017 - Opening at L3
ocaml-2017-talks150485400000009:00 - 09:05
Day opening
Gabriel Scherer
erlang-2017-papers
09:00 - 09:10: Erlang 2017 - Opening & Welcome at L4
erlang-2017-papers150485400000009:00 - 09:10
Day opening
erlang-2017-papers
09:10 - 10:00: Erlang 2017 - Keynote Invited Talk at L4
erlang-2017-papers150485460000009:10 - 10:00
Talk
Martin Sumner
ocaml-2017-talks
09:10 - 10:10: OCaml 2017 - Talk session 1 at L3
ocaml-2017-talks150485430000009:05 - 09:40
Talk
David Allsopp, Florian Angeletti, Sébastien Hinderer
ocaml-2017-talks150485640000009:40 - 10:05
Talk
Anil Madhavapeddy
icfp-2017-catering
10:00 - 10:30: Catering - Friday coffee break 1 at Catering
icfp-2017-catering150485760000010:00 - 10:30
Coffee break
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C5 at L6
cufp-2017-talks150485940000010:30 - 11:30
Talk
Michael Sperber
cufp-2017-talks
10:30 - 11:30: CUFP 2017 - CUFP Tutorials C6 at L5
cufp-2017-talks150485940000010:30 - 11:30
Talk
Renzo Borgatti
haskellsymp-2017-papers
10:30 - 11:30: Haskell 2017 - Day 2, Session 2 at L1
haskellsymp-2017-papers150485940000010:30 - 11:00
Talk
Dmitrij Szamozvancev, Michael Gale
haskellsymp-2017-papers150486120000011:00 - 11:30
Talk
Ivan Perez
erlang-2017-papers
10:30 - 11:20: Erlang 2017 - Session 2 at L4
erlang-2017-papers150485940000010:30 - 10:55
Talk
Evgeniy Shishikin
DOI File Attached
erlang-2017-papers150486090000010:55 - 11:20
Talk
Joseph Harrison
ocaml-2017-talks
10:30 - 11:30: OCaml 2017 - Talk session 2 at L3
ocaml-2017-talks150485940000010:30 - 10:50
Talk
Liang Wang
Link to publication Pre-print
ocaml-2017-talks150486060000010:50 - 11:10
Talk
Runhang Li, Jeremy Yallop
Link to publication Pre-print
ocaml-2017-talks150486180000011:10 - 11:30
Talk
Sebastien Mondet
icfp-2017-catering
11:20 - 12:00: Catering - Friday coffee break 2 at Catering
icfp-2017-catering150486240000011:20 - 12:00
Coffee break
ocaml-2017-talks
11:35 - 12:30: OCaml 2017 - Poster session at L3
ocaml-2017-talks150486330000011:35 - 11:45
Talk
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Bury Guillaume
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Jeremie Dimino, Mark Shinwell
ocaml-2017-talks150486390000011:45 - 12:30
Talk
Gabriel Radanne
Link to publication
ocaml-2017-talks150486390000011:45 - 12:30
Talk
John Whitington
Link to publication
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C5 at L6
cufp-2017-talks150486480000012:00 - 12:30
Talk
Michael Sperber
cufp-2017-talks
12:00 - 12:30: CUFP 2017 - CUFP Tutorials C6 at L5
cufp-2017-talks150486480000012:00 - 12:30
Talk
Renzo Borgatti
haskellsymp-2017-papers
12:00 - 12:30: Haskell 2017 - Day 2, Session 3 at L1
haskellsymp-2017-papers150486480000012:00 - 12:30
Talk
Jennifer Paykin, Steve Zdancewic
erlang-2017-papers
12:00 - 12:25: Erlang 2017 - Session 3 at L4
erlang-2017-papers150486480000012:00 - 12:25
Talk
icfp-2017-catering
12:25 - 14:00: Catering - Friday lunch at Catering
icfp-2017-catering150486630000012:25 - 14:00
Lunch
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C7 at L6
Chair(s): Runhang Li
cufp-2017-talks150487200000014:00 - 15:00
Talk
Liang Wang
cufp-2017-talks
14:00 - 15:00: CUFP 2017 - CUFP Tutorials C8 at L5
Chair(s): Runhang Li
cufp-2017-talks150487200000014:00 - 15:00
Talk
Andreas Garnæs
haskellsymp-2017-papers
14:00 - 15:00: Haskell 2017 - Day 2, Session 4 at L1
haskellsymp-2017-papers150487200000014:00 - 14:30
Talk
Georgios Karachalias, Tom Schrijvers
haskellsymp-2017-papers150487380000014:30 - 15:00
Talk
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
erlang-2017-papers
14:00 - 14:50: Erlang 2017 - Session 4 at L4
erlang-2017-papers150487200000014:00 - 14:25
Talk
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara
erlang-2017-papers150487350000014:25 - 14:50
Talk
Dániel Lukács, Melinda Toth
ocaml-2017-talks
14:00 - 15:00: OCaml 2017 - Talk session 3 at L3
ocaml-2017-talks150487200000014:00 - 14:20
Talk
Reuben N. S. Rowe, Simon Thompson
Link to publication
ocaml-2017-talks150487320000014:20 - 14:40
Talk
Stephen Dolan, KC Sivaramakrishnan
Link to publication
ocaml-2017-talks150487440000014:40 - 15:00
Talk
Sebastien Mondet
icfp-2017-catering
14:50 - 15:30: Catering - Friday coffee break 3 at Catering
icfp-2017-catering150487500000014:50 - 15:30
Coffee break
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C7 at L6
cufp-2017-talks150487740000015:30 - 16:20
Talk
Liang Wang
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Tutorials C8 at L5
cufp-2017-talks150487740000015:30 - 16:20
Talk
Andreas Garnæs
haskellsymp-2017-papers
15:30 - 16:30: Haskell 2017 - Day 2, Session 5 at L1
haskellsymp-2017-papers150487740000015:30 - 16:00
Talk
Markus Aronsson, Mary Sheeran
haskellsymp-2017-papers150487920000016:00 - 16:30
Talk
Robert Clifton-Everest, Trevor L. McDonell, Manuel Chakravarty, Gabriele Keller
erlang-2017-papers
15:30 - 16:20: Erlang 2017 - Session 5 at L4
erlang-2017-papers150487740000015:30 - 15:55
Talk
Stavros Aronis, Kostis Sagonas
erlang-2017-papers150487890000015:55 - 16:20
Talk
Viktória Fördős, István Bozó, Melinda Toth
ocaml-2017-talks
15:30 - 16:30: OCaml 2017 - Talk session 4 at L3
ocaml-2017-talks150487740000015:30 - 15:50
Talk
Tom Ridge
Link to publication
ocaml-2017-talks150487860000015:50 - 16:10
Talk
Gabriel de Perthuis
Link to publication
ocaml-2017-talks150487980000016:10 - 16:30
Talk
Benjamin Canou, Grégoire Henry, Pierre Chambart, Fabrice Le Fessant, Arthur BREITMAN
icfp-2017-catering
16:20 - 16:50: Catering - Friday coffee break 4 at Catering
icfp-2017-catering150488040000016:20 - 16:50
Coffee break
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C7 at L6
cufp-2017-talks150488220000016:50 - 17:30
Talk
Liang Wang
cufp-2017-talks
16:50 - 17:30: CUFP 2017 - CUFP Tutorials C8 at L5
cufp-2017-talks150488220000016:50 - 17:30
Talk
Andreas Garnæs
haskellsymp-2017-papers
16:50 - 17:50: Haskell 2017 - Day 2, Session 6 at L1
haskellsymp-2017-papers150488220000016:50 - 17:20
Talk
Ryan Yates, Michael Scott
haskellsymp-2017-papers150488400000017:20 - 17:50
Talk
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
erlang-2017-papers
16:50 - 17:50: Erlang 2017 - Session 6 at L4
erlang-2017-papers150488220000016:50 - 17:20
Talk
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir
erlang-2017-papers150488400000017:20 - 17:50
Talk
ocaml-2017-talks
16:50 - 17:40: OCaml 2017 - Talk session 5 at L3
ocaml-2017-talks150488280000017:00 - 17:20
Talk
Zhanpeng Liang, Kanae Tsushima
Link to publication
ocaml-2017-talks150488400000017:20 - 17:40
Talk
Stephen Dolan, Mindy Preston

Sat 9 Sep

farm-2017-papers
09:00 - 09:10: FARM 2017 - Introduction at L3
farm-2017-papers150494040000009:00 - 09:10
Day opening
Michael Sperber, Jean Bresson
hiw-2017
09:00 - 10:10: HIW 2017 - State of GHC at L1
Chair(s): Richard A. Eisenberg
hiw-2017150494040000009:00 - 09:30
Talk
Simon Peyton Jones
hiw-2017150494220000009:30 - 10:00
Talk
Ben Gamari
hiw-2017150494400000010:00 - 10:10
Talk
Andrey Mokhov, Zhen Zhang, Ben Gamari, Neil Mitchell
cufp-2017-talks
09:10 - 10:00: CUFP 2017 - CUFP Talks 1 at L2
cufp-2017-talks150494100000009:10 - 09:35
Talk
Bodil Stokke
cufp-2017-talks150494250000009:35 - 10:00
Talk
Jeremie Lasalle-Ratelle
farm-2017-papers
09:10 - 10:00: FARM 2017 - Session 1: Papers/Demos at L3
Chair(s): Jean Bresson
farm-2017-papers150494100000009:10 - 09:40
Talk
Halley Young
farm-2017-papers150494280000009:40 - 10:00
Demonstration
Edward Lilley
Pre-print
icfp-2017-catering
10:00 - 10:30: Catering - Saturday coffee break 1 at Catering
icfp-2017-catering150494400000010:00 - 10:30
Coffee break
cufp-2017-talks
10:30 - 11:20: CUFP 2017 - CUFP Talks 2 at L2
cufp-2017-talks150494580000010:30 - 10:55
Talk
Joris Giovannangeli
cufp-2017-talks150494730000010:55 - 11:20
Talk
Renat Idrisov
hiw-2017
10:30 - 11:30: HIW 2017 - Compiling to LLVM at L1
Chair(s): Jan Stolarek
hiw-2017150494580000010:30 - 10:55
Talk
Kavon Farvardin, Simon Peyton Jones
hiw-2017150494730000010:55 - 11:20
Talk
Siddharth Bhat
hiw-2017150494880000011:20 - 11:30
Talk
farm-2017-papers
10:30 - 11:30: FARM 2017 - Session 2: Papers/Demos at L3
Chair(s): Ivan Perez
farm-2017-papers150494580000010:30 - 10:50
Demonstration
Chris Ford
Pre-print
farm-2017-papers150494700000010:50 - 11:10
Demonstration
Tom Murphy
Pre-print
farm-2017-papers150494820000011:10 - 11:40
Talk
Ivan Perez
icfp-2017-catering
11:20 - 12:00: Catering - Saturday coffee break 2 at Catering
icfp-2017-catering150494880000011:20 - 12:00
Coffee break
cufp-2017-talks
12:00 - 12:25: CUFP 2017 - CUFP Talks 3 at L2
cufp-2017-talks150495120000012:00 - 12:25
Talk
Jacob Stanley
hiw-2017
12:00 - 12:25: HIW 2017 - Constraints at L1
Chair(s): Ben Gamari
hiw-2017150495120000012:00 - 12:25
Talk
J. Garrett Morris
farm-2017-papers
12:00 - 12:30: FARM 2017 - Session 3: Paper at L3
Chair(s): Michael Sperber
farm-2017-papers150495120000012:00 - 12:30
Talk
Joe Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin
icfp-2017-catering
12:25 - 14:00: Catering - Saturday lunch at Catering
icfp-2017-catering150495270000012:25 - 14:00
Lunch
cufp-2017-talks
14:00 - 14:50: CUFP 2017 - CUFP Talks 4 at L2
cufp-2017-talks150495840000014:00 - 14:25
Talk
Simon Meier
cufp-2017-talks150495990000014:25 - 14:50
Talk
Ivan Perez
farm-2017-papers
14:00 - 15:00: FARM 2017 - Session 4: Tutorial at L3
Chair(s): Jean Bresson
farm-2017-papers150495840000014:00 - 15:00
Talk
Yann Orlarey, Stéphane Letz, Dominique Fober, Romain Michon
hiw-2017
14:00 - 15:00: HIW 2017 - Working in Core at L1
Chair(s): Adam Gundry
hiw-2017150495840000014:00 - 14:25
Talk
Carter Schonwald, Joel Burget
hiw-2017150495990000014:25 - 14:50
Talk
Sebastian Graf
hiw-2017150496140000014:50 - 15:00
Talk
icfp-2017-catering
14:50 - 15:30: Catering - Saturday coffee break 3 at Catering
icfp-2017-catering150496140000014:50 - 15:30
Coffee break
cufp-2017-talks
15:30 - 16:20: CUFP 2017 - CUFP Talks 5 at L2
cufp-2017-talks150496380000015:30 - 15:55
Talk
Pavlo Kerestey
cufp-2017-talks150496530000015:55 - 16:20
Talk
Nicholas Cowle, Robin Kay
farm-2017-papers
15:30 - 16:20: FARM 2017 - Session 5: Demos at L3
Chair(s): David Janin
farm-2017-papers150496380000015:30 - 15:50
Demonstration
Henrik Nilsson
Pre-print
farm-2017-papers150496500000015:50 - 16:10
Demonstration
Stian Veum Møllersen
Pre-print
hiw-2017
15:30 - 16:30: HIW 2017 - Tool Support at L1
Chair(s): Wren Romano
hiw-2017150496380000015:30 - 15:55
Talk
Alan Zimmerman
hiw-2017150496530000015:55 - 16:20
Talk
Mathieu Boespflug, Manuel Chakravarty
hiw-2017150496680000016:20 - 16:30
Talk
icfp-2017-catering
16:20 - 16:50: Catering - Saturday coffee break 4 at Catering
icfp-2017-catering150496680000016:20 - 16:50
Coffee break
hiw-2017
16:50 - 17:50: HIW 2017 - All Broken Up at L1
Chair(s): Bartosz Nitka
hiw-2017150496860000016:50 - 17:15
Talk
Philipp Schuster
hiw-2017150497010000017:15 - 17:50
Talk
cufp-2017-talks
16:50 - 17:40: CUFP 2017 - CUFP Talks 6 at L2
cufp-2017-talks150496860000016:50 - 17:15
Talk
Máté Marjai
cufp-2017-talks150497010000017:15 - 17:40
Talk
Austin Huang
farm-2017-papers
16:50 - 17:40: FARM 2017 - Session 6: Papers/Demos at L3
Chair(s): Henrik Nilsson
farm-2017-papers150496860000016:50 - 17:20
Talk
Simon Archipoff, David Janin
farm-2017-papers150497040000017:20 - 17:40
Demonstration
Simon Archipoff, David Janin
Pre-print
icfp-2017-Social-Events
19:30 - 22:00: Social Events - FARM Performance Evening at Old Fire Station
icfp-2017-Social-Events150497820000019:30 - 22:00
Social Event

Sun 3 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Catering

Catering

Sunday coffee break 1
10:00 - 10:30

Catering

Sunday coffee break 2
11:20 - 12:00

Catering

Sunday lunch
12:25 - 14:00

Catering

Sunday coffee break 3
14:50 - 15:30

Catering

Sunday coffee break 4
16:20 - 16:50
L1

PLMW 2017

Welcome
09:00 - 09:10

PLMW 2017

Keynote
09:10 - 10:00

PLMW 2017

Session 1
10:30 - 11:30

PLMW 2017

Session 2
12:00 - 12:30

PLMW 2017

Session 3
14:00 - 15:00

PLMW 2017

Session 4
15:30 - 16:30

PLMW 2017

Session 5
16:50 - 17:40
L2

TyDe 2017

Welcome
09:00 - 09:05

TyDe 2017

Invited talk
09:05 - 10:00

TyDe 2017

Full papers 1
10:30 - 11:30

TyDe 2017

Extended abstracts 1
12:00 - 12:25

TyDe 2017

Full papers 2
14:00 - 15:00

TyDe 2017

Extended abstracts 2
15:30 - 16:20

TyDe 2017

Extended abstracts 3
16:50 - 17:40
L3

HOPE 2017

Welcome
09:00 - 09:10

HOPE 2017

Invited talk
09:10 - 10:00

HOPE 2017

Modular Semantics
10:30 - 11:30

HOPE 2017

Rust
12:00 - 12:30

HOPE 2017

Effects and Dependent Types
14:00 - 15:00

HOPE 2017

Effects
15:30 - 16:30

HOPE 2017

Monotonicity
16:50 - 17:40
L4

Scheme 2017

Session 0
09:00 - 09:10

Scheme 2017

Session 1
09:10 - 10:10

Scheme 2017

Session 2
10:30 - 11:30

Scheme 2017

Session 3
12:00 - 12:30

Scheme 2017

Session 4
14:00 - 15:00

Scheme 2017

Session 5
15:30 - 16:30

Scheme 2017

Session 6
16:50 - 17:50
L5

Tutorials

Morning tutorial session 1
09:00 - 10:00

Tutorials

Morning tutorial session 2
10:30 - 11:30

Tutorials

Morning tutorial session 3
12:00 - 12:30

Tutorials

Afternoon tutorial session 1
14:00 - 15:00

Tutorials

Afternoon tutorial session 2
15:30 - 16:20

Tutorials

Afternoon tutorial session 3
16:50 - 17:50

Mon 4 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Catering

Catering

Monday coffee break 1
10:00 - 10:30

Catering

Monday lunch
12:00 - 13:00

Catering

Monday coffee break 2
14:30 - 15:00

Catering

Monday coffee break 3
16:10 - 16:40
Foyer

Social Events

Welcome Reception
18:30 - 20:30
L1

Keynotes and Reports

Monday Keynote
09:00 - 10:00

Research Papers

Art and Education
10:30 - 12:00

Research Papers

Functional Programming Techniques
13:00 - 14:30

Research Papers

Applications
15:00 - 16:10

Research Papers

Effects
16:40 - 18:10

Keynotes and Reports

Monday Closing Events
18:10 - 18:20
L2

FSCD 2017

Welcome
10:30 - 10:45

FSCD 2017

Session 1
10:45 - 11:45

FSCD 2017

Session 2
13:00 - 14:30

FSCD 2017

Session 3
15:00 - 16:00

FSCD 2017

Session 4
16:40 - 18:10

Tue 5 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Catering

Catering

Tuesday coffee break 1
10:00 - 10:30

Catering

Tuesday lunch
12:00 - 13:00

Catering

Tuesday coffee break 2
14:30 - 15:00

Catering

Tuesday coffee break 3
16:10 - 16:40
L1

Keynotes and Reports

Tuesday Keynote
09:00 - 10:00

Research Papers

Low-level and Systems Programming
10:30 - 12:00

Research Papers

Foundations of Higher-Order Programming
13:00 - 14:30

Research Papers

Tools for Verification
15:00 - 16:10

Research Papers

Program Construction
16:40 - 17:50

Keynotes and Reports

Tuesday Closing Events
17:50 - 18:20
L2

FSCD 2017

Session 5
10:30 - 11:30

FSCD 2017

Session 6
11:30 - 12:00

FSCD 2017

Session 7
13:00 - 14:30

FSCD 2017

Session 8
15:00 - 16:00

FSCD 2017

Session 9
16:40 - 18:10

Wed 6 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Catering

Catering

Wednesday coffee break 1
10:00 - 10:30

Catering

Wednesday lunch
12:00 - 13:00

Catering

Wednesday coffee break 2
14:30 - 15:00

Catering

Wednesday coffee break 3
16:10 - 16:40
L1

Student Research Competition

SRC Presentations
09:00 - 09:37

Research Papers

Domain-Specific Languages
09:37 - 10:00

Research Papers

Dependently Typed Programming
10:30 - 12:00

Research Papers

Contracts and Sessions
13:00 - 14:30

Research Papers

Integrating Static and Dynamic Typing
15:00 - 16:10

Research Papers

Inference and Analysis
16:40 - 17:50

Student Research Competition

SRC Awards
17:50 - 18:00

Keynotes and Reports

Wednesday Closing Events
18:00 - 18:20

Keynotes and Reports

18:10 - 18:20
L2

FSCD 2017

Session 10
09:00 - 10:00

FSCD 2017

Session 11
10:30 - 12:00

FSCD 2017

Session 12
13:00 - 14:30

FSCD 2017

Session 13
15:00 - 16:00

FSCD 2017

Session 14
16:40 - 17:10

FSCD 2017

Termination and Complexity Competition 2017
17:10 - 17:20

FSCD 2017

FSCD General Meeting
17:20 - 18:10
Weston Library

Social Events

Banquet
18:30 - 22:30

Thu 7 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Ashmolean Museum

Social Events

Industry Reception
18:15 - 20:30
Catering

Catering

Thursday coffee break 1
10:00 - 10:30

Catering

Thursday coffee break 2
11:20 - 12:00

Catering

Thursday lunch
12:25 - 14:00

Catering

Thursday coffee break 3
14:50 - 15:30

Catering

Thursday coffee break 4
16:20 - 16:50
L1

Haskell 2017

Day 1, Session 1
09:00 - 10:00

Haskell 2017

Day 1, Session 2
10:30 - 11:30

Haskell 2017

Day 1, Session 3
12:00 - 12:30

Haskell 2017

Day 1, Session 4
14:00 - 15:00

Haskell 2017

Day 1, Session 5
15:30 - 16:30

Haskell 2017

Day 1, Session 6
16:50 - 17:50
L2

FSCD 2017

Session 15
09:00 - 10:00

FSCD 2017

Session 16
10:30 - 11:59
L3

ML 2017

Welcome
09:00 - 09:05

ML 2017

Invited talk
09:05 - 10:00

ML 2017

Types and modules
10:30 - 11:45

ML 2017

Verification
12:00 - 12:25

ML 2017

Programming language design
14:00 - 15:15

ML 2017

Performance
15:30 - 16:20

ML 2017

Effects
16:50 - 17:40
L4

FHPC 2017

Welcome to FHPC'17
09:00 - 09:10

FHPC 2017

First Keynote
09:10 - 10:10

FHPC 2017

Compilation
10:30 - 11:30

FHPC 2017

Tools
12:00 - 12:30

FHPC 2017

Parallel Programming
14:00 - 15:00

FHPC 2017

Demo Session
15:30 - 16:30

FHPC 2017

Demo and Panel
16:50 - 17:50
L5

CUFP 2017

CUFP Tutorials C2
09:00 - 10:00

CUFP 2017

CUFP Tutorials C2
10:30 - 11:30

CUFP 2017

CUFP Tutorials C2
12:00 - 12:30

CUFP 2017

CUFP Tutorials C3
14:00 - 15:00

CUFP 2017

CUFP Tutorials C3
15:30 - 16:20

CUFP 2017

CUFP Tutorials C3
16:50 - 17:30
L6

CUFP 2017

CUFP Tutorials C1
09:00 - 10:00

CUFP 2017

CUFP Tutorials C1
10:30 - 11:30

CUFP 2017

CUFP Tutorials C1
12:00 - 12:30

CUFP 2017

CUFP Tutorials C4
14:00 - 15:00

CUFP 2017

CUFP Tutorials C4
15:30 - 16:20

CUFP 2017

CUFP Tutorials C4
16:50 - 17:30

Fri 8 Sep 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Catering

Catering

Friday coffee break 1
10:00 - 10:30

Catering

Friday coffee break 2
11:20 - 12:00

Catering

Friday lunch
12:25 - 14:00

Catering

Friday coffee break 3
14:50 - 15:30

Catering

Friday coffee break 4
16:20 - 16:50
L1

Haskell 2017

Day 2, Session 1
09:00 - 10:00

Haskell 2017

Day 2, Session 2
10:30 - 11:30

Haskell 2017

Day 2, Session 3
12:00 - 12:30

Haskell 2017

Day 2, Session 4
14:00 - 15:00

Haskell 2017

Day 2, Session 5
15:30 - 16:30

Haskell 2017

Day 2, Session 6
16:50 - 17:50
L3

OCaml 2017

Opening
09:00 - 09:10

OCaml 2017

Talk session 1
09:10 - 10:10

OCaml 2017

Talk session 2
10:30 - 11:30

OCaml 2017

Poster session
11:35 - 12:30

OCaml 2017

Talk session 3
14:00 - 15:00

OCaml 2017

Talk session 4
15:30 - 16:30

OCaml 2017

Talk session 5
16:50 - 17:40
L4

Erlang 2017

Opening & Welcome
09:00 - 09:10

Erlang 2017

Keynote Invited Talk
09:10 - 10:00

Erlang 2017

Session 2
10:30 - 11:20

Erlang 2017

Session 3
12:00 - 12:25

Erlang 2017

Session 4
14:00 - 14:50

Erlang 2017

Session 5
15:30 - 16:20

Erlang 2017

Session 6
16:50 - 17:50
L5

CUFP 2017

CUFP Tutorials C6
09:00 - 10:00

CUFP 2017

CUFP Tutorials C6
10:30 - 11:30

CUFP 2017

CUFP Tutorials C6
12:00 - 12:30

CUFP 2017

CUFP Tutorials C8
14:00 - 15:00

CUFP 2017

CUFP Tutorials C8
15:30 - 16:20

CUFP 2017

CUFP Tutorials C8
16:50 - 17:30
L6

CUFP 2017

CUFP Tutorials C5
09:00 - 10:00

CUFP 2017

CUFP Tutorials C5
10:30 - 11:30

CUFP 2017

CUFP Tutorials C5
12:00 - 12:30