Media Summary: Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language (Video, Fusing Session-Typed Concurrent Programming into A Clash Course in Solving Sudoku (Functional Pearl) (Video,
Icfp 25 Functional Programming For - Detailed Analysis & Overview
Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language (Video, Fusing Session-Typed Concurrent Programming into A Clash Course in Solving Sudoku (Functional Pearl) (Video, Teaching Software Specification (Experience Report) (Video, A contextual formalization of structural coinduction (Video, A practical formalization of monadic equational reasoning in dependent-type theory (Video,
![[ICFP'25] Functional Programming for Hardware Design](https://i.ytimg.com/vi/DzbcRS2R4Mc/mqdefault.jpg)
![[ICFP'25] Verified Interpreters for Dynamic Languages with Applications to the Nix Expression(…)](https://i.ytimg.com/vi/kuEfWjcqJik/mqdefault.jpg)
![[ICFP'25] Fusing Session-Typed Concurrent Programming into Functional Programming](https://i.ytimg.com/vi/hjoZZRfrHKE/mqdefault.jpg)
![[ICFP'25] Functional Networking for Millions of Docker Desktops (Experience Report)](https://i.ytimg.com/vi/1_Y6hmj-VpY/mqdefault.jpg)
![[ICFP'25] [JFP] How much is in a square? Calculating functional programs with squares](https://i.ytimg.com/vi/kB39HpX3jWw/mqdefault.jpg)
![[ICFP'25] [JFP] OCaml Blockly](https://i.ytimg.com/vi/tg-5liTtCe4/mqdefault.jpg)
![[HOPE'25] Finite functional programming via graded effects and relevance types](https://i.ytimg.com/vi/Kxbax4lm72o/mqdefault.jpg)
![[ICFP'25] ICFP 2026 Announcement](https://i.ytimg.com/vi/MX9NW6RXSXw/mqdefault.jpg)
![[ICFP'25] Opening](https://i.ytimg.com/vi/u8jpwd07-TA/mqdefault.jpg)
![[Haskell'25] A Clash Course in Solving Sudoku (Functional Pearl)](https://i.ytimg.com/vi/a-ZYDkGHVPs/mqdefault.jpg)
![[ICFP'25] Teaching Software Specification (Experience Report)](https://i.ytimg.com/vi/NLXIRFEun3I/mqdefault.jpg)
![[ICFP'25] [JFP] A contextual formalization of structural coinduction](https://i.ytimg.com/vi/oZLSDFfpHp0/mqdefault.jpg)
![[ICFP'25] [JFP] A practical formalization of monadic equational reasoning in dependent-type theory](https://i.ytimg.com/vi/J-Ur-TiBZ_k/mqdefault.jpg)