Apropos Clojure #26
Synopsis
Show notes are here: https://gist.github.com/apropos-cast/4d21ae67d7ce425d78e03dc0ef08730f.
You Might Also Like
![[POPL'26] Higher-Order Behavioural Conformances via Fibrations](https://i.ytimg.com/vi/rWbQ1SQJ-84/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC5B-Lwi_1RnjuxKD5BuHevizN-YA)
![[POPL'26] Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic(…)](https://i.ytimg.com/vi/jqKqKp7gJnE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBiJJF-p-VrTKD7Rnh-erkpsRqcsQ)
![[POPL'26] Domain-Theoretic Semantics for Functional Logic Programming](https://i.ytimg.com/vi/oM6jr8UfPWo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBCe3Zk2NPcefpTx-hnSaD5FPG8sA)
![[POPL'26] Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation(…)](https://i.ytimg.com/vi/OnJaLr-msxc/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDJegtZjCIShQemP4izwazyXIb2QA)
![[PriSC'26] Specifying ABIs with Realizability and Type-Preserving Compilation](https://i.ytimg.com/vi/YmNggnJQohs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCBmYp21iyOv8xyNWI47F1FJ_TRrQ)
![[POPL'26] AdapTT: Functoriality for Dependent Type Casts](https://i.ytimg.com/vi/YLa8zaMhlGE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAju2PJLwPxui17Q4fCvzHAyL8QTQ)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| 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.