Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

CUFP tutorials are in-depth, hands-on sessions for learning functional programming languages, libraries and toolkits directly from the experts and leaders in their fields. We have a broad variety of tutorials, including OCaml, Scripting Haskell, LiquidHaskell, PureScript, Coq, F* for programming effectful programs, and Clojure.

More details can be found on the CUFP page

Accepted Papers

Title
T1: Teaching Functional Programming
Tutorials
Pre-print
T2: Extensible Effects: understanding them, implementing them, using them
Tutorials
Pre-print
T3: Introduction to OCaml
Tutorials
Pre-print
T4: An Introduction to to Type-Level and Generic Programming in Haskell
Tutorials
Pre-print
T5: Fable, an F# to JavaScript compiler
Tutorials
Pre-print
T6: LiquidHaskell: Verification of Haskell Programs with SMTs
Tutorials
Pre-print
T7: PureScript Front-end Developement
Tutorials
Pre-print
T8: Transforming data into GUI: a new style graphical user interface library for Haskell
Tutorials
Pre-print
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 12:45
09:15
3h30m
Talk
T1: Teaching Functional Programming
Tutorials
Michael Sperber Active Group GmbH
Pre-print
14:00 - 17:30
14:00
3h30m
Talk
T3: Introduction to OCaml
Tutorials
KC Sivaramakrishnan University of Cambridge
Pre-print