[icfp'25] Teaching Software Specification (experience Report)
Synopsis
Teaching Software Specification (Experience Report) (Video, ICFP 2025) Cameron Moy and Daniel Patterson (Northeastern ...
You Might Also Like
![[ICFP'25] SIGPLAN AV Report](https://i.ytimg.com/vi/RRQuFcVfLNc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAwyA-4FMvg8Yt0oVJy4mQnmATg-A)
![[ICFP'25] ICFP Contest Report](https://i.ytimg.com/vi/X5-l3EaziJU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBzpow2IkHCwybG18Z8__ZNvN2mdA)
![[ICFP'25] PC Chair Report](https://i.ytimg.com/vi/YFBTz32gzNw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCmVS0DI8VuB35T5HQ7PDdQyTtBWA)
![[ICFP'25] General Chair Report](https://i.ytimg.com/vi/SmHBFGVR1Eg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWnJa6q8Lo0bfh7OS6WhI3MEZ8RA)
![[PLMW @ ICFP/SPLASH'25] Verified Software at Scale](https://i.ytimg.com/vi/7i8P8HM4CLU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCfHQ7xi5_flfpM6mJ_iG8QVkBcIg)
![[ICFP'25] 2-Functoriality of Initial Semantics, and Applications](https://i.ytimg.com/vi/fnP-4qSAr-U/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBiRO30F1n9E1o19rWNWDvtf6Zjrw)
![[ICFP'25] Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)](https://i.ytimg.com/vi/UO_mdC_zt4Q/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCaAkyTAc3nilowYPWEhQrQb-nQ3g)
![[ICFP'25] Functional Programming for Hardware Design](https://i.ytimg.com/vi/DzbcRS2R4Mc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLClmVU_dhm1OPk4HHzHYjapwJ3R-w)
![[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] Fusing Session-Typed Concurrent Programming into Functional Programming](https://i.ytimg.com/vi/hjoZZRfrHKE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDVZPXCmwbjqSBPIEWho7sHTPSA4Q)
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.