Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016
Nara, Japan
Toggle navigation
Attending
Venue: Nara Kasugano International Forum
Travel information
Accommodation
Visas
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
ICFP Program
Your Program
Submission and Reviewing FAQ
Call for Sponsorships
Student Research Competition
Filter by Day
Sun 18 Sep
Mon 19 Sep
Tue 20 Sep
Wed 21 Sep
Thu 22 Sep
Fri 23 Sep
Sat 24 Sep
Tracks
ICFP 2016
Keynote Talks
Reports
Research Papers
Tutorials
Workshops
Co-hosted Conferences
CUFP
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposia
Haskell
Organization
ICFP 2016 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
Research Papers
External Review Committee
Tutorials
Contributors
People Index
Co-hosted Conferences
CUFP
Organizing Committee
Program Committee
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Program Committee
Steering Committee
OCaml
Organizing Committee
Program Committee
PLMW
Speakers
Organizers
Scheme
Organizing Committee
Program Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Organizing Committee
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2016
(
series
) /
Nara Kasugano International Forum
/
Room information: Conference Room 1
Venue
Nara Kasugano International Forum
Room name
Conference Room 1
Floor
1
Room number
1
Capacity
108
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+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
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+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 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
Session One
TyDe
at
Conference Room 1
09:15
20m
Day opening
Opening
TyDe
09:35
20m
Talk
APLicative Programming with Naperian Functors
TyDe
Jeremy Gibbons
University of Oxford, UK
09:55
20m
Talk
Choose Your Own Derivative
TyDe
Jennifer Paykin
,
Antal Spector-Zabusky
,
Kenneth Foner
10:45 - 12:15
Session Two
TyDe
at
Conference Room 1
10:45
30m
Talk
Generic diff3 for Algebraic Datatypes
TyDe
Marco Vassena
11:15
20m
Talk
Programming Assistance for Type-directed Programming
TyDe
Peter-Michael Osera
Grinnell College
11:35
20m
Talk
Generic partially-static data
TyDe
David Kaloper-Meršinjak
,
Jeremy Yallop
University of Cambridge, UK
11:55
20m
Talk
Bidirectional Transformations are Proof-Relevant Bisimulations
TyDe
James McKinna
University of Edinburgh
14:00 - 15:00
Session Three
TyDe
at
Conference Room 1
14:00
30m
Talk
Applications of Applicative Proof Search
TyDe
Liam O'Connor
UNSW, Australia
14:30
30m
Talk
Liberating Effects with Rows and Handlers
TyDe
Daniel Hillerström
,
Sam Lindley
University of Edinburgh, UK
15:30 - 16:30
Session Four
TyDe
at
Conference Room 1
15:30
30m
Talk
Programming with Monadic CSP-Style Processes in Dependent Type Theory
TyDe
Bashar Igried Deb Alkhawaldeh
,
Anton Setzer
16:00
30m
Talk
Generic Lookup and Update for Infinitary Inductive-Recursive Types
TyDe
Larry Diehl
,
Tim Sheard
Portland State University
17:00 - 18:00
Session Five
TyDe
at
Conference Room 1
17:00
20m
Talk
Parameterized Extensible Effects and Session Types
TyDe
Oleg Kiselyov
Tohoku University
17:20
20m
Talk
An Agda formalisation of the transitive closure of block matrices
TyDe
Patrik Jansson
Chalmers University of Technology
,
Adam Sandberg Eriksson
Pre-print
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:10 - 10:15
Invited Talk
ML
at
Conference Room 1
Chair(s):
Kenichi Asai
Ochanomizu University
09:10
5m
Day opening
Welcome
ML
09:15
60m
Talk
Making Reactive Programs Function
ML
I:
Neel Krishnaswami
University of Birmingham, UK
10:35 - 11:25
Web
ML
at
Conference Room 1
Chair(s):
Katsuhiro Ueno
Tohoku University, Japan
10:35
25m
Talk
WebAssembly: high speed at low cost for everyone
ML
Andreas Rossberg
Google
Pre-print
11:00
25m
Talk
Extracting from F* to C: a progress report
ML
Jonathan Protzenko
Microsoft Research
,
Karthikeyan Bhargavan
INRIA
,
Jean-Karim Zinzindohoué
INRIA
,
Abhishek Anand
,
Cédric Fournet
Microsoft Research
,
Bryan Parno
,
Aseem Rastogi
Microsoft Research India
,
Nikhil Swamy
Microsoft Research
Pre-print
11:45 - 12:25
Implementation
ML
at
Conference Room 1
Chair(s):
Didier Rémy
INRIA
11:45
25m
Talk
Compiling with Continuations and LLVM
ML
Kavon Farvardin
University of Chicago
,
John Reppy
University of Chicago
Pre-print
12:10
15m
Talk
SML# with Natural Join
ML
Tomohiro Sasaki
Tohoku University
,
Katsuhiro Ueno
Tohoku University, Japan
,
Atsushi Ohori
Tohoku University, Japan
Pre-print
14:00 - 14:50
Effects
ML
at
Conference Room 1
Chair(s):
Sam Lindley
University of Edinburgh, UK
14:00
25m
Talk
Eff Directly in OCaml
ML
Oleg Kiselyov
Tohoku University
,
KC Sivaramakrishnan
University of Cambridge
Pre-print
14:25
25m
Talk
Compiling Links Effect Handlers to the OCaml Backend
ML
Daniel Hillerström
The University of Edinburgh
,
Sam Lindley
University of Edinburgh, UK
,
KC Sivaramakrishnan
University of Cambridge
Pre-print
15:20 - 16:10
Classes
ML
at
Conference Room 1
Chair(s):
John Reppy
University of Chicago
15:20
25m
Talk
Classes for the Masses
ML
Claudio Russo
Microsoft Research
,
Matthew Windsor
,
Don Syme
Microsoft
,
Rupert Horlick
,
James Clarke
Pre-print
15:45
25m
Talk
Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML
ML
Yutaka Nagashima
Data61, Australia
,
Liam O'Connor
UNSW, Australia
Pre-print
16:40 - 17:35
Future
ML
at
Conference Room 1
Chair(s):
Kenichi Asai
Ochanomizu University
16:40
15m
Talk
Malfunctional Programming
ML
Stephen Dolan
Pre-print
16:55
25m
Talk
Ambiguous pattern variables
ML
Gabriel Scherer
Northeastern University
,
Luc Maranget
INRIA Rocquencourt
,
Thomas Réfis
Pre-print
17:20
15m
Talk
Typed Embedding of Relational Language in OCaml
ML
Dmitrii Kosarev
,
Dmitri Boulytchev
Pre-print
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:09 - 10:25
Session 1
OCaml
at
Conference Room 1
09:09
1m
Day opening
Welcome
OCaml
Mark Shinwell
Jane Street
09:10
25m
Talk
Invited Talk
OCaml
Damien Doligez
09:35
25m
Talk
The State of the OCaml Platform: September 2016
OCaml
O:
Louis Gesbert
OCamlPro
10:00
25m
Talk
Learn OCaml: An Online Learning Center for OCaml
OCaml
Benjamin Canou
,
Grégoire Henry
,
Çagdas Bozman
,
Fabrice Le Fessant
OCamlPro
10:40 - 11:30
Session 2
OCaml
at
Conference Room 1
10:40
25m
Talk
Statistically profiling memory in OCaml
OCaml
Jacques-Henri Jourdan
11:05
25m
Talk
Lock-free programming for the masses
OCaml
KC Sivaramakrishnan
University of Cambridge
,
Théo Laurent
11:45 - 12:35
Session 3
OCaml
at
Conference Room 1
11:45
25m
Talk
Conex -- establishing trust into data repositories
OCaml
Hannes Mehnert
,
Louis Gesbert
OCamlPro
12:10
25m
Talk
OPAM-builder: Continuous Monitoring of OPAM Repositories
OCaml
Fabrice Le Fessant
OCamlPro
14:00 - 14:50
Session 4
OCaml
at
Conference Room 1
14:00
25m
Talk
Sundials/ML: interfacing with numerical solvers
OCaml
Timothy Bourke
INRIA
,
Jun Inoue
National Institute of Advanced Industrial Science and Technology, Japan
,
Marc Pouzet
14:25
25m
Talk
OCaml inside: a drop-in replacement for libtls
OCaml
Enguerrand Decorne
,
Jeremy Yallop
University of Cambridge, UK
,
David Kaloper-Meršinjak
15:20 - 16:10
Session 5
OCaml
at
Conference Room 1
15:20
25m
Talk
Semantics of the Lambda intermediate language
OCaml
Pierre Chambart
OCamlPRO
15:45
25m
Talk
Generic Programming in OCaml
OCaml
Florent Balestrieri
,
Michel Mauny
16:10 - 17:05
Break and Poster Session
OCaml
at
Conference Room 1
16:10
18m
Inuit library: from printf to interactive user-interfaces
Poster
OCaml
Frédéric Bour
16:28
18m
ocp-lint, A Plugin-based Style-Checker with Semantic Patches
Poster
OCaml
Çagdas Bozman
,
Théophane Hufschmitt
,
Michael Laporte
,
Fabrice Le Fessant
OCamlPro
16:46
18m
Partial evaluation and metaprogramming
Poster
OCaml
Pierre Chambart
OCamlPRO
17:05 - 18:00
Session 6
OCaml
at
Conference Room 1
17:05
25m
Talk
Who's got your Mail? Mr. Mime!
OCaml
Romain Calascibetta
17:30
25m
Talk
Improving the OCaml Web Stack: Motivations and Progress
OCaml
Spiridon Eliopoulos
17:55
5m
Day closing
Closing
OCaml
Sat 24 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
The State of GHC
HIW
at
Conference Room 1
09:15
30m
Talk
The State of GHC
HIW
Simon Peyton Jones
Microsoft Research, UK
09:45
30m
Talk
Contributing to GHC
HIW
Ben Gamari
Well-Typed LLP
10:35 - 11:25
Pluggability and Modularity
HIW
at
Conference Room 1
10:35
25m
Talk
Backpack to Work: Towards Backpack in Practice
HIW
Edward Z. Yang
Stanford University
11:00
25m
Talk
More powerful GHC Plugins
HIW
Moritz Angermann
11:45 - 12:35
Types and Effects
HIW
at
Conference Room 1
11:45
25m
Talk
A Dependent Haskell Triptych
HIW
Richard A. Eisenberg
Bryn Mawr College
12:10
25m
Talk
Automatically Escaping Monads
HIW
Ben Lippmeier
University of New South Wales
14:00 - 14:50
The Engineering of GHC
HIW
at
Conference Room 1
14:00
25m
Talk
Pita: Tools for making GHC fast again
HIW
Ben Gamari
Well-Typed LLP
14:25
25m
Talk
GHC Determinism
HIW
Bartosz Nitka
Facebook
15:20 - 16:10
Backends for GHC
HIW
at
Conference Room 1
15:20
25m
Talk
Remote GHCi
HIW
Simon Marlow
Facebook
15:45
25m
Talk
GHCVM - A JVM Backend for GHC
HIW
Rahul Muttineni
TypeLead
16:40 - 18:00
Trees and Lightning Talks
HIW
at
Conference Room 1
16:40
25m
Talk
Trees That Grow
HIW
Shayan Najd
,
Simon Peyton Jones
Microsoft Research, UK
,
Jacques Carette
McMaster University
17:05
55m
Other
Lightning talks
HIW
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
TyDe
Session One
TyDe
Session Two
TyDe
Session Three
TyDe
Session Four
TyDe
Session Five
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
ML
Invited Talk
ML
Web
ML
Implementation
ML
Effects
ML
Classes
ML
Future
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
OCaml
Session 1
OCaml
Session 2
OCaml
Session 3
OCaml
Session 4
OCaml
Session 5
OCaml
Break and Poster Session
OCaml
Session 6
Sat 24 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
HIW
The State of GHC
HIW
Pluggability and Modularity
HIW
Types and Effects
HIW
The Engineering of GHC
HIW
Backends for GHC
HIW
Trees and Lightning Talks
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
TyDe
Opening
09:15 - 09:35
TyDe
APLicative Programming with Naperian Functors
09:35 - 09:55
TyDe
Choose Your Own Derivative
09:55 - 10:15
TyDe
Generic diff3 for Algebraic Datatypes
10:45 - 11:15
TyDe
Programming Assistance for Type-directed Programming
11:15 - 11:35
TyDe
Generic partially-static data
11:35 - 11:55
TyDe
Bidirectional Transformations are Proof-Relevant Bisimulations
11:55 - 12:15
TyDe
Applications of Applicative Proof Search
14:00 - 14:30
TyDe
Liberating Effects with Rows and Handlers
14:30 - 15:00
TyDe
Programming with Monadic CSP-Style Processes in Dependent Type Theory
15:30 - 16:00
TyDe
Generic Lookup and Update for Infinitary Inductive-Recursive Types
16:00 - 16:30
TyDe
Parameterized Extensible Effects and Session Types
17:00 - 17:20
TyDe
An Agda formalisation of the transitive closure of block matrices
17:20 - 17:40
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
ML
Welcome
09:10 - 09:15
ML
Making Reactive Programs Function
09:15 - 10:15
ML
WebAssembly: high speed at low cost for everyone
10:35 - 11:00
ML
Extracting from F* to C: a progress report
11:00 - 11:25
ML
Compiling with Continuations and LLVM
11:45 - 12:10
ML
SML# with Natural Join
12:10 - 12:25
ML
Eff Directly in OCaml
14:00 - 14:25
ML
Compiling Links Effect Handlers to the OCaml Backend
14:25 - 14:50
ML
Classes for the Masses
15:20 - 15:45
ML
Close Encounters of the Higher Kind - Emulating Constructor Classes in ...
15:45 - 16:10
ML
Malfunctional Programming
16:40 - 16:55
ML
Ambiguous pattern variables
16:55 - 17:20
ML
Typed Embedding of Relational Language in OCaml
17:20 - 17:35
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
OCaml
Welcome
09:09 - 09:10
OCaml
Invited Talk
09:10 - 09:35
OCaml
The State of the OCaml Platform: September 2016
09:35 - 10:00
OCaml
Learn OCaml: An Online Learning Center for OCaml
10:00 - 10:25
OCaml
Statistically profiling memory in OCaml
10:40 - 11:05
OCaml
Lock-free programming for the masses
11:05 - 11:30
OCaml
Conex -- establishing trust into data repositories
11:45 - 12:10
OCaml
OPAM-builder: Continuous Monitoring of OPAM Repositories
12:10 - 12:35
OCaml
Sundials/ML: interfacing with numerical solvers
14:00 - 14:25
OCaml
OCaml inside: a drop-in replacement for libtls
14:25 - 14:50
OCaml
Semantics of the Lambda intermediate language
15:20 - 15:45
OCaml
Generic Programming in OCaml
15:45 - 16:10
OCaml
Poster
Inuit library: from printf to interactive user-interfaces
16:10 - 16:28
OCaml
Poster
ocp-lint, A Plugin-based Style-Checker with Semantic Patches
16:28 - 16:46
OCaml
Poster
Partial evaluation and metaprogramming
16:46 - 17:05
OCaml
Who's got your Mail? Mr. Mime!
17:05 - 17:30
OCaml
Improving the OCaml Web Stack: Motivations and Progress
17:30 - 17:55
OCaml
Closing
17:55 - 18:00
Sat 24 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 1
HIW
The State of GHC
09:15 - 09:45
HIW
Contributing to GHC
09:45 - 10:15
HIW
Backpack to Work: Towards Backpack in Practice
10:35 - 11:00
HIW
More powerful GHC Plugins
11:00 - 11:25
HIW
A Dependent Haskell Triptych
11:45 - 12:10
HIW
Automatically Escaping Monads
12:10 - 12:35
HIW
Pita: Tools for making GHC fast again
14:00 - 14:25
HIW
GHC Determinism
14:25 - 14:50
HIW
Remote GHCi
15:20 - 15:45
HIW
GHCVM - A JVM Backend for GHC
15:45 - 16:10
HIW
Trees That Grow
16:40 - 17:05
HIW
Lightning talks
17:05 - 18:00
x
Sat 5 Jul 18:31