ICFP 2023 Videos

My to-watch list:

• Modular Models of Monoids with Operations
• HasChor: Functional Choreographic Programming for All (Functional Pearl)
• More Fixpoints! (Functional Pearl)
• Timely Computation
• Embedding by Unembedding
• A well-known representation of monoids and its application to the function ‘vect...
• Modal FRP for all: Functional reactive programming without space leaks in Haskel...
• Explicit Refinement Types
• FP²: Fully in-Place Functional Programming
• Calculating Compilers for Concurrency
• Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebr...