Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameConference Room 1
Floor1
Room number1
Capacity108
Room InformationNo extra information available
Program

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 OneTyDe 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
14:00 - 15:00
Session ThreeTyDe 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

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:10 - 10:15
Invited TalkML 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
WebML at Conference Room 1
Chair(s): Katsuhiro Ueno Tohoku University, Japan
10:35
25m
Talk
WebAssembly: high speed at low cost for everyone
ML
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
ImplementationML 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
EffectsML 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

Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

14:00 - 14:50
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

Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
The State of GHCHIW 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 ModularityHIW 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
11:45 - 12:35
Types and EffectsHIW 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 GHCHIW 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 GHCHIW 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
16:40 - 18:00
Trees and Lightning TalksHIW 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 1

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 1

Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Conference Room 1
HIW
The State of GHC
09:15 - 09:45
HIW
GHC Determinism
14:25 - 14:50
HIW
Remote GHCi
15:20 - 15:45
HIW
Trees That Grow
16:40 - 17:05
HIW
Lightning talks
17:05 - 18:00