13:25Separation Logic for Sequential Programs (Functional Pearl) (ICFP 2020)ACM SIGPLAN825 viewsView & Download
15:00SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)ACM SIGPLAN113 viewsView & Download
14:10Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High... (ICFP 2020)ACM SIGPLAN453 viewsView & Download
14:03Skipping the Binder Bureaucracy with Mixed Embeddings in a Semantics Course (Functional Pearl)ACM SIGPLAN264 viewsView & Download
4:59Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations (Teaser)ACM SIGPLAN278 viewsView & Download
57:12SPLV 2024 - Introduction to Separation Logic 1 (Jean-Marie Madiot)SPLI: The Scottish Programming Languages Institute322 viewsView & Download
13:53Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation LogicACM SIGPLAN574 viewsView & Download
25:07The Next 700 Compiler Correctness Theorems A Functional PearlACM SIGPLAN328 viewsView & Download
14:26Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille (ICFP 2020)ACM SIGPLAN145 viewsView & Download
18:53[OOPSLA23] Proof Automation for Linearizability in Separation LogicACM SIGPLAN93 viewsView & Download
49:36[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin TimanyACM SIGPLAN785 viewsView & Download
![[POPL 2021] A Separation Logic for Effect Handlers (full) — ACM SIGPLAN — separation logic for sequential programs functional pearl icfp 2020 YouTube to MP3 & MP4 download on TubeGalore](/api/image/Zqyu0LPbBb8/mqdefault)
![[OOPSLA23] Proof Automation for Linearizability in Separation Logic — ACM SIGPLAN — separation logic for sequential programs functional pearl icfp 2020 YouTube to MP3 & MP4 download on TubeGalore](/api/image/dHi2pJ2nBqM/mqdefault)
![[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany — ACM SIGPLAN — separation logic for sequential programs functional pearl icfp 2020 YouTube to MP3 & MP4 download on TubeGalore](/api/image/JlR0gavV7Ps/mqdefault)