Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameConference Room 3
Floor2
Room number3
Capacity100
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:10 - 10:15: Welcome and Invited TalkHOPE at Conference Room 3
09:10 - 09:15
Day opening
Opening remarks
HOPE
Lars BirkedalAarhus University, Denmark, Aleksandar NanevskiIMDEA Software Institute
09:15 - 10:15
Talk
Effective programming: bringing algebraic effects and handlers to OCaml
HOPE
Leo WhiteJane Street
10:45 - 12:15: Session 1 (Effects)HOPE at Conference Room 3
10:45 - 11:15
Talk
Effects as Capabilities
HOPE
Fengyun LiuEPFL, Nicolas StuckiEPFL, LAMP, Sandro StuckiEPFL, Nada AminEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
11:15 - 11:45
Talk
A Logical Account of a Type-and-Effect System
HOPE
Morten Krogh-JespersenAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Denmark
11:45 - 12:15
Talk
Simple Dependent Polymorphic I/O Effects
HOPE
Amin Timany, Bart JacobsiMinds - Distrinet, KU Leuven
14:00 - 15:00: Session 2 (Verification)HOPE at Conference Room 3
14:00 - 14:30
Talk
Concurrent Data Structures Linked in Time
HOPE
Germán Andrés DelbiancoIMDEA Software Institute, Ilya SergeyUniversity College London, UK, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
14:30 - 15:00
Talk
Growing a Proof Assistant
HOPE
William J. BowmanNortheastern University
15:30 - 16:30: Session 3 (Compilation)HOPE at Conference Room 3
15:30 - 16:00
Talk
Type Directed Compilation of Row-typed Algebraic Effects
HOPE
Daan LeijenMicrosoft Research
Link to publication
16:00 - 16:30
Talk
Administrative normal form, continued: Sharing control in direct style
HOPE
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, UK

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

09:15 - 10:15: 1FARM at Conference Room 3
09:15 - 09:45
Talk
Bithoven: Gödel Encoding of Chamber Music and Functional 8-Bit Audio Synthesis
FARM
Jay McCarthyUniversity of Massachusetts Lowell
09:45 - 10:15
Talk
Structured reactive programming with polymorphic temporal tiles
FARM
Simon ArchipoffCNRS LaBRI, Inria Bordeaux,, David JaninUniversity of Bordeaux
11:45 - 12:35: 3FARM at Conference Room 3
11:45 - 12:10
Talk
Arrp: A Functional Language with Multi-dimensional Signals and Recurrence Equations
FARM
Jakob LebenUniversity of Victoria
12:10 - 12:35
Talk
Demo: Klangmeister
FARM
Chris FordThoughtWorks (UK) Ltd.
14:00 - 14:50: 4FARM at Conference Room 3
14:00 - 14:25
Talk
Demo: VoxelCAD, a collaborative voxel-based CAD tool
FARM
Csongor KissImperial College London, Toby ShawImperial College London
Link to publication
14:25 - 14:50
Talk
o.OM: Structured-Functional Communication between Computer Music Systems using OSC and Odot
FARM
Jean BressonUMR STMS: IRCAM-CNRS-UPMC, John MacCallumCNMAT - UC Berkeley, Adrian FreedCNMAT - UC Berkeley

Sun 18 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:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 3