35:39

[HOPE24] Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads

ACM SIGPLAN

29:28

[HOPE24] Mechanized monadic equational reasoning for ML references

ACM SIGPLAN

28:57

[HOPE24] Arrows as applicatives in a monad

ACM SIGPLAN

28:45

[HOPE24] Paella: algebraic effects with parameters and their handlers

ACM SIGPLAN

29:10

[HOPE24] Logical Relations for Effect Capabilities

ACM SIGPLAN

30:41

[HOPE24] Effectful Assembly Programming with AsmFX

ACM SIGPLAN

30:41

[HOPE24] Towards a linear functional translation for borrowing

ACM SIGPLAN

31:23

[HOPE24] An Incremental Approach to the Semantics of Borrowing

ACM SIGPLAN

28:30

[HOPE24] Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers

ACM SIGPLAN

1:07:01

[HOPE24] An introduction to synthetic guarded domain theory with applications to probabilistic(…)

ACM SIGPLAN