ICFP 2017 (series) / CUFP 2017 (series) /
CUFP 2017 Program
This is the CUFP 2017 program - see the full program for ICFP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 7 SepDisplayed time zone: Belfast change
Thu 7 Sep
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mOther | Tutorial C2: Extensible Effects: understanding them, implementing them, using them CUFP |
09:00 - 10:00 | |||
09:00 60mOther | Tutorial C1: Online Applications with Incremental CUFP |
10:30 - 11:30 | |||
10:30 60mTalk | Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 2) CUFP |
10:30 - 11:30 | |||
10:30 60mTalk | Tutorial C1: Online Applications with Incremental (part 2) CUFP |
12:00 - 12:30 | |||
12:00 30mTalk | Tutorial C2: Extensible Effects: understanding them, implementing them, using them (part 3) CUFP |
12:00 - 12:30 | |||
12:00 30mTalk | Tutorial C1: Online Applications with Incremental (part 3) CUFP |
14:00 - 15:00 | |||
14:00 60mOther | Tutorial C3: Concurrent Programming with Effect Handlers CUFP |
14:00 - 15:00 | |||
14:00 60mTalk | Tutorial C4: Git under the hood with OCaml CUFP |
15:30 - 16:20 | |||
15:30 50mTalk | Tutorial C3: Concurrent Programming with Effect Handlers (part 2) CUFP |
15:30 - 16:20 | |||
15:30 50mTalk | Tutorial C4: Git under the hood with OCaml (part 2) CUFP |
16:50 - 17:30 | |||
16:50 40mTalk | Tutorial C3: Concurrent Programming with Effect Handlers (part 3) CUFP |
16:50 - 17:30 | |||
16:50 40mTalk | Tutorial C4: Git under the hood with OCaml (part 3) CUFP |
Fri 8 SepDisplayed time zone: Belfast change
Fri 8 Sep
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mTalk | Tutorial C6: Transducers in Practice CUFP Renzo Borgatti uSwitch |
09:00 - 10:00 | |||
09:00 60mTalk | Tutorial C5: Teaching Functional Programming CUFP Michael Sperber Active Group GmbH |
10:30 - 11:30 | |||
10:30 60mTalk | Tutorial C6: Transducers in Practice (part 2) CUFP |
10:30 - 11:30 | |||
10:30 60mTalk | Tutorial C5: Teaching Functional Programming (part 2) CUFP |
12:00 - 12:30 | |||
12:00 30mTalk | Tutorial C6: Transducers in Practice (part 3) CUFP |
12:00 - 12:30 | |||
12:00 30mTalk | Tutorial C5: Teaching Functional Programming (part 3) CUFP |
14:00 - 15:00 | |||
14:00 60mTalk | Tutorial C8: GraphQL Servers in OCaml CUFP |
14:00 - 15:00 | |||
14:00 60mTalk | Tutorial C7: Owl - Data Science in OCaml CUFP |
15:30 - 16:20 | |||
15:30 50mTalk | Tutorial C8: GraphQL Servers in OCaml (part 2) CUFP |
15:30 - 16:20 | |||
15:30 50mTalk | Tutorial C7: Owl - Data Science in OCaml (part 2) CUFP |
16:50 - 17:30 | |||
16:50 40mTalk | Tutorial C8: GraphQL Servers in OCaml (part 3) CUFP |
16:50 - 17:30 | |||
16:50 40mTalk | Tutorial C7: Owl - Data Science in OCaml (part 3) CUFP |
Sat 9 SepDisplayed time zone: Belfast change
Sat 9 Sep
Displayed time zone: Belfast change
09:10 - 10:00 | |||
09:10 25mTalk | Keynote: Are We There Yet? CUFP Bodil Stokke Church of Emacs | ||
09:35 25mTalk | Bonsai: a DSL for serverless firm real-time decisioning CUFP Jeremie Lasalle-Ratelle AppNexus |
10:30 - 11:20 | |||
10:30 25mTalk | Interfacing OCaml and Rust: picking the right tool for the job CUFP Joris Giovannangeli Ahrefs Research | ||
10:55 25mTalk | Distributed load testing with MZBench CUFP |
12:00 - 12:25 | |||
12:00 25mTalk | Gens N' Roses: Appetite for Reduction CUFP Jacob Stanley Ambiata |
14:00 - 14:50 | |||
14:00 25mTalk | Formally Verifying a Smart-Contract Language Implementation with Isabelle CUFP Simon Meier Digital Asset | ||
14:25 25mTalk | Haskell games and apps for iOS and Android CUFP Ivan Perez University of Nottingham, UK |
15:30 - 16:20 | |||
15:30 25mTalk | Using Haskell to run a datacenter CUFP | ||
15:55 25mTalk | Functional Facades over Legacy Code CUFP |
16:50 - 17:40 | |||
16:50 25mTalk | Building the largest payment sandbox on a tiny machine CUFP | ||
17:15 25mTalk | Using Functional Programming to Accelerate Translational Research at Pfizer CUFP Austin Huang Pfizer |