ICFP 2014: Settable and Non-Interfering Signal Functions for FRP - Daniel Winograd-Cort
ICFP 2014: Soft Contract Verification - David Van Horn
ICFP 2014: FP for Dynamic and Large Data with Self-Adjusting Computation - Yan Chen
3 02 Practical Principled FRP
ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey
Haskell Symposium 2012. Daniel Winograd-Cort: Wormholes - introducing effects to FRP.
ICFP 2014: SML# in Industry: A Practical ERP System Development (Experience Report)
ICFP 2014: Building Embedded Systems with Embedded DSLs (Experience Report) - Patrick Hickey
Relational Algebra by Way of Adjunctions
Haskell Symposium 2012. The closing discussion, led by Aaron Contorer of FP Complete.
'Green Phase' Traffic Signal is Great for Cyclists!.mp4
