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