Talks

50:52
Category Theory for the Working Hacker by Philip Wadler
40:38
Type-driven Development of Communicating Systems in Idris by Edwin Brady
35:34
Working Hard to Keep Things Lazy by Raichoo
47:54
Real-World Functional Scala by Chris Birchall
36:55
Pragmatic Functional Refactoring with Java 8 by Raoul-Gabriel Urma
41:05
The Dialectics of Type-Level Programming by Aaron Levin
55:43
Typelevel Scala Rebooted by Miles Sabin
52:41
Java 8 (and 9!) in Anger
00:41
Evolving Functional Programming Languages by Erik Osheim
40:02
Transient: Full Algebraic and monadic composability by Alberto Gómez Corona
47:40
Describe & Conquer (& Freek) by Pascal Voitot
43:12
The Pure Functional Web by Bodil Stokke
42:40
Doing Data Science with Clojure by Simon Belak
41:04
Declarative, Convergent Edge Computation by Christopher Meiklejohn
31:41
Adopting Actors... an epic tale of loss and learning by Iain Hull