Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 7 Sep

Displayed time zone: Belfast change

09:00 - 10:00
CUFP Tutorials C2CUFP at L5
Chair(s): Runhang Li Twitter, Inc
09:00
60m
Other
Tutorial C2: Extensible Effects: understanding them, implementing them, using them
CUFP
09:00 - 10:00
CUFP Tutorials C1CUFP at L6
Chair(s): Runhang Li Twitter, Inc
09:00
60m
Other
Tutorial C1: Online Applications with Incremental
CUFP
T: Yaron Minsky , T: Sebastian Funk Jane Street
10:30 - 11:30
CUFP Tutorials C1CUFP at L6
10:30
60m
Talk
Tutorial C1: Online Applications with Incremental (part 2)
CUFP
T: Yaron Minsky , T: Sebastian Funk Jane Street
12:00 - 12:30
CUFP Tutorials C1CUFP at L6
12:00
30m
Talk
Tutorial C1: Online Applications with Incremental (part 3)
CUFP
T: Yaron Minsky , T: Sebastian Funk Jane Street
14:00 - 15:00
CUFP Tutorials C3CUFP at L5
Chair(s): Runhang Li Twitter, Inc
14:00
60m
Other
Tutorial C3: Concurrent Programming with Effect Handlers
CUFP
T: Daniel Hillerström The University of Edinburgh, T: KC Sivaramakrishnan University of Cambridge
14:00 - 15:00
CUFP Tutorials C4CUFP at L6
Chair(s): Runhang Li Twitter, Inc
14:00
60m
Talk
Tutorial C4: Git under the hood with OCaml
CUFP
15:30 - 16:20
CUFP Tutorials C3CUFP at L5
15:30
50m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 2)
CUFP
T: Daniel Hillerström , T: KC Sivaramakrishnan University of Cambridge
15:30 - 16:20
CUFP Tutorials C4CUFP at L6
15:30
50m
Talk
Tutorial C4: Git under the hood with OCaml (part 2)
CUFP
16:50 - 17:30
CUFP Tutorials C3CUFP at L5
16:50
40m
Talk
Tutorial C3: Concurrent Programming with Effect Handlers (part 3)
CUFP
T: Daniel Hillerström The University of Edinburgh, T: KC Sivaramakrishnan University of Cambridge
16:50 - 17:30
CUFP Tutorials C4CUFP at L6
16:50
40m
Talk
Tutorial C4: Git under the hood with OCaml (part 3)
CUFP

Fri 8 Sep

Displayed time zone: Belfast change

09:00 - 10:00
CUFP Tutorials C6CUFP at L5
Chair(s): Runhang Li Twitter, Inc
09:00
60m
Talk
Tutorial C6: Transducers in Practice
CUFP
09:00 - 10:00
CUFP Tutorials C5CUFP at L6
Chair(s): Runhang Li Twitter, Inc
09:00
60m
Talk
Tutorial C5: Teaching Functional Programming
CUFP
Michael Sperber Active Group GmbH
10:30 - 11:30
CUFP Tutorials C6CUFP at L5
10:30
60m
Talk
Tutorial C6: Transducers in Practice (part 2)
CUFP
T: Renzo Borgatti uSwitch
10:30 - 11:30
CUFP Tutorials C5CUFP at L6
10:30
60m
Talk
Tutorial C5: Teaching Functional Programming (part 2)
CUFP
T: Michael Sperber Active Group GmbH
12:00 - 12:30
CUFP Tutorials C6CUFP at L5
12:00
30m
Talk
Tutorial C6: Transducers in Practice (part 3)
CUFP
T: Renzo Borgatti uSwitch
12:00 - 12:30
CUFP Tutorials C5CUFP at L6
12:00
30m
Talk
Tutorial C5: Teaching Functional Programming (part 3)
CUFP
T: Michael Sperber Active Group GmbH
14:00 - 15:00
CUFP Tutorials C8CUFP at L5
Chair(s): Runhang Li Twitter, Inc
14:00
60m
Talk
Tutorial C8: GraphQL Servers in OCaml
CUFP
T: Andreas Garnæs Zendesk
14:00 - 15:00
CUFP Tutorials C7CUFP at L6
Chair(s): Runhang Li Twitter, Inc
14:00
60m
Talk
Tutorial C7: Owl - Data Science in OCaml
CUFP
T: Liang Wang University of Cambridge
15:30 - 16:20
CUFP Tutorials C8CUFP at L5
15:30
50m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 2)
CUFP
T: Andreas Garnæs Zendesk
15:30 - 16:20
CUFP Tutorials C7CUFP at L6
15:30
50m
Talk
Tutorial C7: Owl - Data Science in OCaml (part 2)
CUFP
T: Liang Wang University of Cambridge
16:50 - 17:30
CUFP Tutorials C8CUFP at L5
16:50
40m
Talk
Tutorial C8: GraphQL Servers in OCaml (part 3)
CUFP
T: Andreas Garnæs Zendesk
16:50 - 17:30
CUFP Tutorials C7CUFP at L6
16:50
40m
Talk
Tutorial C7: Owl - Data Science in OCaml (part 3)
CUFP
T: Liang Wang University of Cambridge

Sat 9 Sep

Displayed time zone: Belfast change

09:10 - 10:00
CUFP Talks 1CUFP at L2
09:10
25m
Talk
Keynote: Are We There Yet?
CUFP
Bodil Stokke Church of Emacs
09:35
25m
Talk
Bonsai: a DSL for serverless firm real-time decisioning
CUFP
12:00 - 12:25
CUFP Talks 3CUFP at L2
12:00
25m
Talk
Gens N' Roses: Appetite for Reduction
CUFP
14:00 - 14:50
CUFP Talks 4CUFP at L2
14:00
25m
Talk
Formally Verifying a Smart-Contract Language Implementation with Isabelle
CUFP
Simon Meier Digital Asset
14:25
25m
Talk
Haskell games and apps for iOS and Android
CUFP
Ivan Perez University of Nottingham, UK
15:30 - 16:20
CUFP Talks 5CUFP at L2
15:30
25m
Talk
Using Haskell to run a datacenter
CUFP
15:55
25m
Talk
Functional Facades over Legacy Code
CUFP
Nicholas Cowle G-Research, Robin Kay G-Research