[icfp'25] Multiple Resumptions And Local Mutable State, Directly
Synopsis
Multiple Resumptions and Local Mutable State, Directly (Video, ICFP 2025) Serkan Muhcu, Philipp Schuster, Michel Steuwer, and ...
You Might Also Like
![[ICFP'25] Compiling with Generating Functions](https://i.ytimg.com/vi/-FpOtIWymq4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDrizNFOkaOX7A2x-D1jFIXb9zCWg)
![[ICFP'25] ICFP Contest Report](https://i.ytimg.com/vi/X5-l3EaziJU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBzpow2IkHCwybG18Z8__ZNvN2mdA)
![[ICFP'25] Fusing Session-Typed Concurrent Programming into Functional Programming](https://i.ytimg.com/vi/hjoZZRfrHKE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDVZPXCmwbjqSBPIEWho7sHTPSA4Q)
![[ICFP'25] ICFP 2026 Announcement](https://i.ytimg.com/vi/MX9NW6RXSXw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBcMu-kLWiqTyh9u3SdFDgQochBCA)
![[ICFP'25] Fulls Seldom Differ](https://i.ytimg.com/vi/ESl1kagWD6I/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDgQ6nq9x1bLQ0b7UPkPGU47aG1JQ)
![[ICFP'25] Truly Functional Solutions to the Longest Uptrend Problem (Functional Pearl)](https://i.ytimg.com/vi/2X3ASgCm0I4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBM-_X0oJJF7IE08SwmWj_LPGmj9Q)
![[ICFP'25] [JFP] A practical formalization of monadic equational reasoning in dependent-type theory](https://i.ytimg.com/vi/J-Ur-TiBZ_k/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCuhyQgccVzHW-iexZYLBQSRYyAiA)
![[ICFP'25] JFP Announcement](https://i.ytimg.com/vi/krOdbh_HFbA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC3Z2Yax-ND34PJisQ3Rk5bcGVI-Q)
![[ICFP'25] [JFP] A contextual formalization of structural coinduction](https://i.ytimg.com/vi/oZLSDFfpHp0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB-sxzVg0nz4j9erMgIT65CYWDCLg)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.