[icfp'25] Sigplan Av Report
Synopsis
SIGPLAN AV Report (Video, ICFP 2025) Eloise Christian, and Guilherme Espada (Rochester Institute of Technology; LASIGE, ...
You Might Also Like
![[ICFP'25] PC Chair Report](https://i.ytimg.com/vi/YFBTz32gzNw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCmVS0DI8VuB35T5HQ7PDdQyTtBWA)
![[ICFP/SPLASH'25] Peony NE - PROPL (Oct 13th)](https://i.ytimg.com/vi/IIRJeleXeuU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBcCaoUc3IrUOXJtrYysEjcFxueig)
![[ICFP/SPLASH'25] Peony SW - Haskell (Oct 16th)](https://i.ytimg.com/vi/bzVXrVaQwM8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCOqOuQ-4D3IF-waEaTldTdBP_RGg)
![[ICFP'25] JFP Announcement](https://i.ytimg.com/vi/krOdbh_HFbA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC3Z2Yax-ND34PJisQ3Rk5bcGVI-Q)
![[ICFP/SPLASH'25] Peony SW - Haskell (Oct 17th)](https://i.ytimg.com/vi/IlQQElKaFvM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD7VhEQZj5lP3WWQiNegWCcu3MbwQ)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 14th)](https://i.ytimg.com/vi/6-qhBSKxUUE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAenbAEpZdWB0V89wVzCHghveqcmA)
![[ICFP'25] [JFP] A contextual formalization of structural coinduction](https://i.ytimg.com/vi/oZLSDFfpHp0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB-sxzVg0nz4j9erMgIT65CYWDCLg)
![[ICFP/SPLASH'25] Peony SE - SPLASH Onward! (Oct 16th)](https://i.ytimg.com/vi/gD7ajjCHYbU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBV_dZoJo57NsfjGC6jmEA-kW-McA)
![[ICFP/SPLASH'25] Peony SE - SPLASH Doctoral Symposium (Oct 12th)](https://i.ytimg.com/vi/SgcFTukPJbM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCk4mjE-eAyWoHZWCCrCPck5lFzRQ)
![[ICFP/SPLASH'25] Peony SE - SPLASH Onward! (Oct 17th)](https://i.ytimg.com/vi/sFqtreKcq2Q/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBcyR2JvUY72fTfbybY8c1Su9u_Jg)
![[ICFP SRC'25] SRC Awards](https://i.ytimg.com/vi/jeqcNJA1qbI/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBXaSVe4mIedPaVpfcklLjSP0yIuA)
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.