[popl'24] a core calculus for documents: or, lambda: the ultimate document
Published 8 months ago • 218 plays • Length 20:10Download video MP4
Download video MP3
Similar videos
-
![[popl'24] decalf: a directed, effectful cost-aware logical framework](https://i.ytimg.com/vi/JQNL0NQbaiE/mqdefault.jpg)
17:37
[popl'24] decalf: a directed, effectful cost-aware logical framework
-
![[popl'24] orthologic with axioms](https://i.ytimg.com/vi/uW39tCEqfUU/mqdefault.jpg)
19:50
[popl'24] orthologic with axioms
-
![[popl'24] calculational design of [in]correctness transformational program logics by abstr...](https://i.ytimg.com/vi/e2F0Y_LIhV4/mqdefault.jpg)
26:11
[popl'24] calculational design of [in]correctness transformational program logics by abstr...
-
![[popl'24] an axiomatic basis for computer programming on the relaxed arm-a architecture: t...](https://i.ytimg.com/vi/c_Te-E79teY/mqdefault.jpg)
19:03
[popl'24] an axiomatic basis for computer programming on the relaxed arm-a architecture: t...
-
![[popl'24] kelvin room (jan 19th)](https://i.ytimg.com/vi/dcF6T7y4xkU/mqdefault.jpg)
9:27:45
[popl'24] kelvin room (jan 19th)
-
![[pldi24] a lightweight polyglot code transformation language](https://i.ytimg.com/vi/dHiP8zXiaxI/mqdefault.jpg)
18:41
[pldi24] a lightweight polyglot code transformation language
-
![[popl'24] welcome to popl 2024](https://i.ytimg.com/vi/E-plTaqhBfE/mqdefault.jpg)
8:24
[popl'24] welcome to popl 2024
-
![[popl'24] predictive monitoring against pattern regular languages](https://i.ytimg.com/vi/apf5afr0eEc/mqdefault.jpg)
18:55
[popl'24] predictive monitoring against pattern regular languages
-
![[popl'24] a formalization of core why3 in coq](https://i.ytimg.com/vi/c4QHpY5GhWU/mqdefault.jpg)
18:19
[popl'24] a formalization of core why3 in coq
-
![[popl'24] shoggoth - a formal foundation for strategic rewriting](https://i.ytimg.com/vi/HRFiCObmVeQ/mqdefault.jpg)
18:21
[popl'24] shoggoth - a formal foundation for strategic rewriting
-
![[popl'24] generating well-typed terms that are not](https://i.ytimg.com/vi/KkE-wVqUbVQ/mqdefault.jpg)
19:58
[popl'24] generating well-typed terms that are not "useless"
-
![[popl'24] explicit effects and effect constraints in reml](https://i.ytimg.com/vi/447M7267JQE/mqdefault.jpg)
20:38
[popl'24] explicit effects and effect constraints in reml
-
![[popl'24] total type error localization and recovery with holes](https://i.ytimg.com/vi/j1Xyuu4kVwQ/mqdefault.jpg)
21:17
[popl'24] total type error localization and recovery with holes
-
![[popl'24] nominal recursors as epi-recursors](https://i.ytimg.com/vi/IqSubNUOWWg/mqdefault.jpg)
20:58
[popl'24] nominal recursors as epi-recursors
-
![[popl'24] efficient chad](https://i.ytimg.com/vi/HUoUap7nO2U/mqdefault.jpg)
18:58
[popl'24] efficient chad
-
![[popl'23] a core calculus for equational proofs of cryptographic protocols](https://i.ytimg.com/vi/5rQstrKftGE/mqdefault.jpg)
25:50
[popl'23] a core calculus for equational proofs of cryptographic protocols