Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
VenueMathematical Institute
Room nameL3
Floor0
Capacity110
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 3 Sep

Displayed time zone: Belfast change

09:00 - 09:10
WelcomeHOPE at L3
09:00
10m
Day opening
Welcome
HOPE
C: François Pottier Inria, France, C: Aleksandar Nanevski IMDEA Software Institute
09:10 - 10:00
Invited talkHOPE at L3
09:10
60m
Talk
Invited Talk: Semantics of Effect Systems by Graded Monads
HOPE
Shin-ya Katsumata National Institute of Informatics
10:30 - 11:30
Modular SemanticsHOPE at L3
10:30
30m
Talk
Higher-order Programming is an Effect
HOPE
File Attached
11:00
30m
Talk
A monadic solution to the Cartwright-Felleisen-Wadler conjecture
HOPE
Ohad Kammar University of Oxford, UK, Dylan McDermott University of Cambridge
File Attached
12:00 - 12:30
RustHOPE at L3
12:00
30m
Talk
RustBelt: Securing the Foundations of the Rust Programming Language
HOPE
Ralf Jung MPI-SWS, Germany, Jacques-Henri Jourdan MPI-SWS, Germany, Robbert Krebbers Delft University of Technology, Netherlands, Derek Dreyer MPI-SWS
14:00 - 15:00
Effects and Dependent TypesHOPE at L3
14:00
30m
Talk
Handling fibred algebraic effects
HOPE
Danel Ahman University of Edinburgh
14:30
30m
Talk
Only Control Effects and Dependent Types
HOPE
Youyou Cong Ochanomizu University, William J. Bowman Northeastern University
15:30 - 16:30
EffectsHOPE at L3
15:30
30m
Talk
Programming a Web Server with Algebraic Effects
HOPE
Daan Leijen Microsoft Research
16:00
30m
Talk
Logical Relations for Algebraic Effects
HOPE
Dariusz Biernacki University of Wrocław, Maciej Piróg University of Wrocław, Piotr Polesiuk , Filip Sieczkowski University of Wrocław
16:50 - 17:40
MonotonicityHOPE at L3
16:50
30m
Talk
Recalling a Witness
HOPE
Danel Ahman University of Edinburgh, Cătălin Hriţcu Inria Paris, Kenji Maillard Inria Paris, ENS Paris, and Microsoft Research, Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research, n.n., Cédric Fournet Microsoft Research, n.n.
Pre-print

Thu 7 Sep

Displayed time zone: Belfast change

09:00 - 09:05
WelcomeML at L3
Chair(s): Sam Lindley University of Edinburgh, UK
09:00
5m
Day opening
Welcome
ML

09:05 - 10:00
Invited talkML at L3
Chair(s): Sam Lindley University of Edinburgh, UK
09:05
55m
Talk
State machines all the way down
ML
Edwin Brady University of St. Andrews, UK
10:30 - 11:45
Types and modulesML at L3
10:30
25m
Talk
Mergeable types
ML
Gowtham Kaki Purdue University, KC Sivaramakrishnan University of Cambridge, Samodya Abeysiriwardane Purdue University, Suresh Jagannathan Purdue University
10:55
25m
Talk
Tierless modules
ML
Gabriel Radanne Université Denis Diderot Paris 7, PPS, Jérôme Vouillon Univ Paris Diderot, Sorbonne Paris Cité, BeSport
11:20
25m
Talk
First-class subtypes
ML
Jeremy Yallop University of Cambridge, UK, Stephen Dolan
12:00 - 12:25
VerificationML at L3
12:00
25m
Talk
VOCAL -- a verified OCAml Library
ML
Arthur Charguéraud Inria, Jean-Christophe Filliatre CNRS, Paris, France, Mário Pereira LRI - Université Paris-Sud, François Pottier Inria, France
14:00 - 15:15
Programming language designML at L3
14:00
25m
Talk
Typer: an infix statically typed Lisp
ML
Pierre Delaunay Université de Montréal, Vincent Archambault-Bouffard Université de Montréal, Stefan Monnier Université de Montréal
14:25
25m
Talk
Relational conversion for OCaml
ML
Petr Lozov Sain Petersburg State University, SPbGU, Dmitri Boulytchev
14:50
25m
Talk
Towards abductive functional programming
ML
Koko Muroya University of Birmingham, UK
15:30 - 16:20
PerformanceML at L3
15:30
25m
Talk
Making SML# a general-purpose high-performance language
ML
Atsushi Ohori Tohoku University, Japan, Kenjiro Taura The University of Tokyo, Katsuhiro Ueno Tohoku University
15:55
25m
Talk
Efficient representation of large, dynamic sequences in ML
ML
16:50 - 17:40
EffectsML at L3
16:50
25m
Talk
Effects without monads: non-determinism
ML
17:15
25m
Talk
Effectively tackling the awkward squad
ML
Stephen Dolan , Spiros Eliopoulos Jane Street Group, Daniel Hillerström The University of Edinburgh, Anil Madhavapeddy OCaml Labs, KC Sivaramakrishnan University of Cambridge, Leo White Jane Street

Fri 8 Sep

Displayed time zone: Belfast change

09:00 - 09:10
OpeningOCaml at L3
09:00
5m
Day opening
Opening
OCaml
Gabriel Scherer Northeastern University
09:10 - 10:10
Talk session 1OCaml at L3
09:05
35m
Talk
Invited talk: new contributors
OCaml
David Allsopp University of Cambridge, Florian Angeletti , Sébastien Hinderer Inria
09:40
25m
Talk
The State of the OCaml Platform: September 2017
OCaml
10:30 - 11:30
Talk session 2OCaml at L3
10:30
20m
Talk
Owl: A General-Purpose Numerical Library in OCaml
OCaml
Liang Wang University of Cambridge
Link to publication Pre-print
10:50
20m
Talk
Extending OCaml's open
OCaml
Runhang Li Twitter, Inc, Jeremy Yallop University of Cambridge, UK
Link to publication Pre-print
11:10
20m
Talk
Genspio: Generating Shell Phrases In OCaml
OCaml
Sebastien Mondet Mount Sinai - Hammer Lab
Pre-print
15:30 - 16:30
Talk session 4OCaml at L3
15:30
20m
Talk
A B-tree library for OCaml
OCaml
Tom Ridge University of Leicester, UK
Link to publication
15:50
20m
Talk
Wodan: a pure OCaml, flash-aware filesystem library
OCaml
Link to publication
16:10
20m
Talk
Tezos: the OCaml Crypto-Ledger
OCaml
Benjamin Canou OCamlPro, n.n., Grégoire Henry OCamlPro, n.n., Pierre Chambart OCamlPRO, Fabrice Le Fessant OCamlPro, Arthur BREITMAN Dynamic Ledger Solutions
16:50 - 17:40
Talk session 5OCaml at L3
17:00
20m
Talk
Component-based Program Synthesis in OCaml
OCaml
Zhanpeng Liang University of Southern California, Kanae Tsushima
Link to publication
17:20
20m
Talk
Testing with Crowbar
OCaml

Sat 9 Sep

Displayed time zone: Belfast change

09:00 - 09:10
IntroductionFARM at L3
09:00
10m
Day opening
Welcome
FARM
C: Michael Sperber Active Group GmbH, P: Jean Bresson UMR STMS: IRCAM-CNRS-UPMC
10:30 - 11:30
Session 2: Papers/DemosFARM at L3
Chair(s): Ivan Perez University of Nottingham, UK
10:30
20m
Demonstration
Demo — African Polyphony and Polyrhythm
FARM
Chris Ford ThoughtWorks (UK) Ltd.
Pre-print
10:50
20m
Demonstration
Demo — Vivid: Sound Synthesis with Haskell and SuperCollider
FARM
Pre-print
11:10
30m
Talk
GALE: A Functional Graphic Adventure Library and Engine
FARM
Ivan Perez University of Nottingham, UK
14:00 - 15:00
Session 4: TutorialFARM at L3
Chair(s): Jean Bresson UMR STMS: IRCAM-CNRS-UPMC
14:00
60m
Talk
FAUST Tutorial for Functional Programmers
FARM
15:30 - 16:20
Session 5: DemosFARM at L3
Chair(s): David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University
15:30
20m
Demonstration
Demo — The Arpeggigon: A Functional Reactive Musical Automaton
FARM
Henrik Nilsson University of Nottingham, UK
Pre-print
15:50
20m
Demonstration
Demo — Ait: A Concatenative Language for Creative Programming
FARM
Pre-print
16:50 - 17:40
Session 6: Papers/DemosFARM at L3
Chair(s): Henrik Nilsson University of Nottingham, UK
16:50
30m
Talk
Unified Media Programming: An Algebraic Approach
FARM
Simon Archipoff CNRS LaBRI, Inria Bordeaux,, David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University
17:20
20m
Demonstration
Demo — Octopus: A High-Level Fast 3D Animation Language
FARM
Simon Archipoff CNRS LaBRI, Inria Bordeaux,, David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University
Pre-print

Sun 3 Sep

Displayed time zone: Belfast change

Thu 7 Sep

Displayed time zone: Belfast change

Fri 8 Sep

Displayed time zone: Belfast change

Thu 7 Sep

Displayed time zone: Belfast change