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
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15: Session OneTyDe at Conference Room 1
09:15 - 09:35
Day opening
Opening
TyDe
09:35 - 09:55
Talk
APLicative Programming with Naperian Functors
TyDe
Jeremy GibbonsUniversity of Oxford, UK
09:55 - 10:15
Talk
Choose Your Own Derivative
TyDe
14:00 - 15:00: Session ThreeTyDe at Conference Room 1
14:00 - 14:30
Talk
Applications of Applicative Proof Search
TyDe
Liam O'ConnorUNSW, Australia
14:30 - 15:00
Talk
Liberating Effects with Rows and Handlers
TyDe
Daniel Hillerström, Sam LindleyUniversity of Edinburgh, UK

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:10 - 10:15: Invited TalkML at Conference Room 1
Chair(s): Kenichi AsaiOchanomizu University
09:10 - 09:15
Day opening
Welcome
ML
09:15 - 10:15
Talk
Making Reactive Programs Function
ML
I: Neel KrishnaswamiUniversity of Birmingham, UK
10:35 - 11:25: WebML at Conference Room 1
Chair(s): Katsuhiro UenoTohoku University, Japan
10:35 - 11:00
Talk
WebAssembly: high speed at low cost for everyone
ML
Pre-print
11:00 - 11:25
Talk
Extracting from F* to C: a progress report
ML
Jonathan ProtzenkoMicrosoft Research, Karthikeyan BhargavanINRIA, Jean-Karim ZinzindohouéINRIA, Abhishek Anand, Cédric FournetMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research India, Nikhil SwamyMicrosoft Research
Pre-print
11:45 - 12:25: ImplementationML at Conference Room 1
Chair(s): Didier RémyINRIA
11:45 - 12:10
Talk
Compiling with Continuations and LLVM
ML
Kavon FarvardinUniversity of Chicago, John ReppyUniversity of Chicago
Pre-print
12:10 - 12:25
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 - 14:25
Talk
Eff Directly in OCaml
ML
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
14:25 - 14:50
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
15:20 - 16:10: ClassesML at Conference Room 1
Chair(s): John ReppyUniversity of Chicago
15:20 - 15:45
Talk
Classes for the Masses
ML
Pre-print
15:45 - 16:10
Talk
Close Encounters of the Higher Kind - Emulating Constructor Classes in Standard ML
ML
Yutaka NagashimaData61, Australia, Liam O'ConnorUNSW, Australia
Pre-print

Fri 23 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:09 - 10:25: Session 1OCaml at Conference Room 1
09:09 - 09:10
Day opening
Welcome
OCaml
Mark ShinwellJane Street
09:10 - 09:35
Talk
Invited Talk
OCaml
09:35 - 10:00
Talk
The State of the OCaml Platform: September 2016
OCaml
O: Louis GesbertOCamlPro
10:00 - 10:25
Talk
Learn OCaml: An Online Learning Center for OCaml
OCaml
14:00 - 14:50: Session 4 OCaml at Conference Room 1
14:00 - 14:25
Talk
Sundials/ML: interfacing with numerical solvers
OCaml
Timothy BourkeINRIA, Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Marc Pouzet
14:25 - 14:50
Talk
OCaml inside: a drop-in replacement for libtls
OCaml

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15: The State of GHCHIW at Conference Room 1
09:15 - 09:45
Talk
The State of GHC
HIW
Simon Peyton JonesMicrosoft Research, UK
09:45 - 10:15
Talk
Contributing to GHC
HIW
Ben GamariWell-Typed LLP
10:35 - 11:25: Pluggability and ModularityHIW at Conference Room 1
10:35 - 11:00
Talk
Backpack to Work: Towards Backpack in Practice
HIW
Edward Z. YangStanford University
11:00 - 11:25
Talk
More powerful GHC Plugins
HIW
11:45 - 12:35: Types and EffectsHIW at Conference Room 1
11:45 - 12:10
Talk
A Dependent Haskell Triptych
HIW
Richard A. EisenbergBryn Mawr College
12:10 - 12:35
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 - 14:25
Talk
Pita: Tools for making GHC fast again
HIW
Ben GamariWell-Typed LLP
14:25 - 14:50
Talk
GHC Determinism
HIW
15:20 - 16:10: Backends for GHCHIW at Conference Room 1
15:20 - 15:45
Talk
Remote GHCi
HIW
Simon MarlowFacebook
15:45 - 16:10
Talk
GHCVM - A JVM Backend for GHC
HIW
16:40 - 18:00: Trees and Lightning TalksHIW at Conference Room 1
16:40 - 17:05
Talk
Trees That Grow
HIW
Shayan Najd, Simon Peyton JonesMicrosoft Research, UK, Jacques CaretteMcMaster University
17:05 - 18:00
Other
Lightning talks
HIW

Sun 18 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

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

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

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

Fri 23 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Sat 24 Sep
Times are displayed in 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