40:3901 Bithoven: Gödel Encoding of Chamber Music and Functional 8 Bit Audio Synthesis
Advanced
A 41-minute video from ICFP Video: “01 Bithoven: Gödel Encoding of Chamber Music and Functional 8 Bit Audio Synthesis”.
ICFP Video
3.82K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
40:39
54:3001 Effective Programming: bringin algebraic effects and handlers to OCaml
A 54-minute video from ICFP Video: “01 Effective Programming: bringin algebraic effects and handlers to OCaml”.
59:5101 Making Reactive Programs Function
Advanced
A 60-minute video from ICFP Video: “01 Making Reactive Programs Function”.
39:1101 Solutions to distributed systems problems, 'Akka', actors
Advanced
A 39-minute video from ICFP Video: “01 Solutions to distributed systems problems, 'Akka', actors”.
40:0601 The State of GHC
A 40-minute video from ICFP Video: “01 The State of GHC”.
21:5801 What's new in OCamls 4.03
Advanced
A 22-minute video from ICFP Video: “01 What's new in OCamls 4.03”.
59:5101 Regularizing the irregular: analyses and transformations for recursive, irregular applications
Advanced
A 60-minute video from ICFP Video: “01 Regularizing the irregular: analyses and transformations for recursive, irregular applications”.
35:31
59:5101 The History of Standard ML: Ideas, Principles, Culture
A 60-minute video from ICFP Video: “01 The History of Standard ML: Ideas, Principles, Culture”.
1:02:4501 The Rust Programming Language
A 63-minute video from ICFP Video: “01 The Rust Programming Language”.
22:3801 Towards A Debugger for Native Code OCaml
Advanced
A 23-minute video from ICFP Video: “01 Towards A Debugger for Native Code OCaml”.
4:5201. Making Reactive Programs Function (part 2)
Advanced
A 5-minute video from ICFP Video: “01. Making Reactive Programs Function (part 2)”.
30:3502 A Scalable Reliable Instant Messenger using the SD Erlang Libraries
A 31-minute video from ICFP Video: “02 A Scalable Reliable Instant Messenger using the SD Erlang Libraries”.
23:2702 Contributing to GHC
A 23-minute video from ICFP Video: “02 Contributing to GHC”.
26:10
21:4602 Immutable Infrastructure Deployment with Haskell
Advanced
A 22-minute video from ICFP Video: “02 Immutable Infrastructure Deployment with Haskell”.
35:4402 Structured reactive programming with polymorphic temporal tiles
Advanced
A 36-minute video from ICFP Video: “02 Structured reactive programming with polymorphic temporal tiles”.
27:1002 The State of the OCaml Platform
Advanced
A 27-minute video from ICFP Video: “02 The State of the OCaml Platform”.
25:4502 WebAssembly: high speed at low cost for everyone
A 26-minute video from ICFP Video: “02 WebAssembly: high speed at low cost for everyone”.
31:1302 Combining Effects and Coeffects
Advanced
A 31-minute video from ICFP Video: “02 Combining Effects and Coeffects”.
56:4902 Compositional and Linear Encoding
Advanced
A 57-minute video from ICFP Video: “02 Compositional and Linear Encoding”.
23:1802 Coping with Change: data schema migration in Haskell
Advanced
A 23-minute video from ICFP Video: “02 Coping with Change: data schema migration in Haskell”.
27:4302 Generate and Offshore: Type safe and Modular Code Generation for Low Level Optimization
Advanced
A 28-minute video from ICFP Video: “02 Generate and Offshore: Type safe and Modular Code Generation for Low Level Optimization”.
24:1302 Generating Code with Polymorphic 'let'
Advanced
A 24-minute video from ICFP Video: “02 Generating Code with Polymorphic 'let'”.
49:5202 Mathematics, Textiles and Programming: Scripted Scarves
A 50-minute video from ICFP Video: “02 Mathematics, Textiles and Programming: Scripted Scarves”.
27:0702 Operf: Benchmarking the OCaml Compiler
Advanced
A 27-minute video from ICFP Video: “02 Operf: Benchmarking the OCaml Compiler”.
28:01
31:2503 A Logical Account of Type and Effect Systems
Advanced
A 31-minute video from ICFP Video: “03 A Logical Account of Type and Effect Systems”.
26:5803 Backpack to Work: Towrads Backpack in Practice
A 27-minute video from ICFP Video: “03 Backpack to Work: Towrads Backpack in Practice”.
46:3703 Basic Mechanics of Operational Semantics
Intro
A 47-minute video from ICFP Video: “03 Basic Mechanics of Operational Semantics”.
28:1703 Developing a fast and durable pub sub message bus
Advanced
A 28-minute video from ICFP Video: “03 Developing a fast and durable pub sub message bus”.
31:0503 Generic diff3 for Algebraic Datatypes
Advanced
A 31-minute video from ICFP Video: “03 Generic diff3 for Algebraic Datatypes”.
31:5303 Juniper: A Functional Reactive Programming Language for the Arduino
Advanced
A 32-minute video from ICFP Video: “03 Juniper: A Functional Reactive Programming Language for the Arduino”.
26:2203 Translating from F* to C
Advanced
A 26-minute video from ICFP Video: “03 Translating from F* to C”.
17:4303 A SQL to C Compiler in 500 Lines of Code
Advanced
A 18-minute video from ICFP Video: “03 A SQL to C Compiler in 500 Lines of Code”.
17:4803 A SQL to C Compiler in 500 Lines of Code
Advanced
A 18-minute video from ICFP Video: “03 A SQL to C Compiler in 500 Lines of Code”.