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

Conference Day
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 GibbonsUniversity 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'ConnorUNSW, Australia
14:30
30m
Talk
Liberating Effects with Rows and Handlers
TyDe
Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:10 - 10:15
Invited TalkML at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
09:10
5m
Day opening
Welcome
ML

09:15
60m
Talk
Making Reactive Programs Function
ML
I: Neel KrishnaswamiUniversity of Birmingham, UK
11:45 - 12:25
ImplementationML at Conference Room 1
Chair(s): Didier RémyINRIA
11:45
25m
Talk
Compiling with Continuations and LLVM
ML
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
12:10
15m
Talk
SML# with Natural Join
ML
Tomohiro SasakiTohoku University, Katsuhiro UenoTohoku University, Japan, Atsushi OhoriTohoku University, Japan
Pre-print
14:00 - 14:50
EffectsML at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
14:00
25m
Talk
Eff Directly in OCaml
ML
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
14:25
25m
Talk
Compiling Links Effect Handlers to the OCaml Backend
ML
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge
Pre-print

Conference Day
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 BourkeINRIA, Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
14:25
25m
Talk
OCaml inside: a drop-in replacement for libtls
OCaml

Conference Day
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 JonesMicrosoft Research, UK
09:45
30m
Talk
Contributing to GHC
HIW
Ben GamariWell-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. YangStanford 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. EisenbergBryn Mawr College
12:10
25m
Talk
Automatically Escaping Monads
HIW
Ben LippmeierUniversity 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 GamariWell-Typed LLP
14:25
25m
Talk
GHC Determinism
HIW
15:20 - 16:10
Backends for GHCHIW at Conference Room 1
15:20
25m
Talk
Remote GHCi
HIW
Simon MarlowFacebook
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 JonesMicrosoft Research, UK, Jacques CaretteMcMaster University
17:05
55m
Other
Lightning talks
HIW

Conference Day
Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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

Conference Day
Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Conference Day
Sat 24 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Conference Day
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