20:54 Typing, Representing, and Abstracting Control: Functional Pearl ICFP Video 846 views - 6 years ago
24:35 Extended Abstract: CoExtended Abstract: Comprehending Monoids with Class ICFP Video 158 views - 6 years ago
23:52 Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL ICFP Video 143 views - 6 years ago
31:57 A High-Performance Multicore IO Manager Based on libuv (Experience Report) ICFP Video 581 views - 7 years ago
59:25 HELIX: A Case Study of a Formal Verification of High Performance Program Generation ICFP Video 268 views - 7 years ago
44:25 Comparing Strategies for Lightweight Threading Based on Continuations ICFP Video 227 views - 7 years ago
52:40 Modular Acceleration: Tricky Cases of Functional High-Performance Computing ICFP Video 284 views - 7 years ago
45:28 Gibbon: A Compiler for Recursive Functions on mostly Serialized Data ICFP Video 357 views - 7 years ago
19:30 R&B: Towards bringing functional programming to everyday's web programmer ICFP Video 142 views - 7 years ago
26:52 DerivingVia: How to Turn Hand-Written Instances into an Anti-Pattern ICFP Video 972 views - 7 years ago
30:41 Suggesting Valid Hole Fits for Typed-Holes (Experience Report) ICFP Video 362 views - 7 years ago
30:16 On the Calculation of Functions in the Algebra of Physical Space ICFP Video 147 views - 7 years ago
25:59 Hasktorch: A Comprehensive Haskell Library for Differentiable Functional Programming ICFP Video 1.1K views - 7 years ago
1:04:21 Daisy - A framework for sound accuracy analysis and optimization of numerical programs ICFP Video 229 views - 7 years ago
1:14:29 Keynote: Distributed Erlang: From Datacenter Applications to Planetary Scale Applications ICFP Video 3.6K views - 7 years ago