Media Summary: Flan: An Expressive and Efficient Datalog Compiler for Program Analysis (Video,
Popl 24 Effectful Software Contracts - Detailed Analysis & Overview
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis (Video,
![[POPL'24] Decalf: A Directed, Effectful Cost-Aware Logical Framework](https://i.ytimg.com/vi/JQNL0NQbaiE/mqdefault.jpg)
![[POPL'24] Soundly Handling Linearity](https://i.ytimg.com/vi/sHGrKEoWtm8/mqdefault.jpg)
![[POPL'24] Flan: An Expressive and Efficient Datalog Compiler for Program Analysis](https://i.ytimg.com/vi/Ioe3F_Z5_60/mqdefault.jpg)
![[POPL'24] Effectful Software Contracts](https://i.ytimg.com/vi/__F3ML62xd8/mqdefault.jpg)
[POPL'24] Effectful Software Contracts
Effectful Software Contracts