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
Dates
Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 22 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 12:45 | |||
09:15 3h30mTalk | T2: Extensible Effects: understanding them, implementing them, using them Tutorials Oleg Kiselyov Tohoku University Pre-print | ||
09:15 - 12:45 | |||
09:15 3h30mTalk | T1: Teaching Functional Programming Tutorials Michael Sperber Active Group GmbH Pre-print | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T4: An Introduction to to Type-Level and Generic Programming in Haskell Tutorials Andres Löh Well-Typed LLP Pre-print | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T3: Introduction to OCaml Tutorials KC Sivaramakrishnan University of Cambridge Pre-print | ||
Fri 23 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Fri 23 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 12:45 | |||
09:15 3h30mTalk | T6: LiquidHaskell: Verification of Haskell Programs with SMTs Tutorials Niki Vazou UC San Diego Pre-print | ||
09:15 - 12:45 | |||
09:15 3h30mTalk | T5: Fable, an F# to JavaScript compiler Tutorials Pre-print | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T8: Transforming data into GUI: a new style graphical user interface library for Haskell Tutorials Fumiaki Kinoshita Tsuru Capital Pre-print | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | T7: PureScript Front-end Developement Tutorials Brian McKenna Atlassian Pre-print | ||