[oopsla'25] Incremental Certified Programming
Synopsis
Incremental Certified Programming (Video, OOPSLA2 2025) Tomás Díaz, Kenji Maillard, Nicolas Tabareau, and Éric Tanter ...
You Might Also Like
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/wHAGmFT7tls/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCRVdZTbBTk71aPC_ABx5zWiCLEpg)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/zoE2w2hueYQ/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLByeUk03lCLvw6e4ZNBQ7EPHZWP1g)
![[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/1d80UBzb5g8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBGbmxPYBjI9QSaUmNN6Dgmw1TvRw)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/BN1UnBI4usA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA758YH3dO5VtBqZBzuJHMOXA-BqQ)
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.