[popl'22] a cost-aware logical framework
Published 2 years ago • 234 plays • Length 22:52Download video MP4
Download video MP3
Similar videos
-
17:37
[popl'24] decalf: a directed, effectful cost-aware logical framework
-
26:37
[popl'22] software model-checking as cyclic-proof search
-
24:36
[popl'22] a relational theory of effects and coeffects
-
22:09
[popl'22] a formal foundation for symbolic evaluation with merging
-
35:42
[padl'24] asynchronous reactive programming with modal types in haskell
-
20:38
[popl'24] explicit effects and effect constraints in reml
-
1:27:37
into the core squeezing haskell into nine constructors - simon peyton jones | zurihac 2022
-
28:07
[popl'22] safe, modular packet pipeline programming
-
22:29
[popl'22] moebius: metaprogramming using contextual types
-
24:51
[popl'22] staging with class: a specification for typed template haskell
-
24:19
[popl'22] tada live: compositional reasoning for termination of fine-grained concurrent pr
-
23:58
[popl'22] semantics for variational quantum programming
-
23:08
[popl'22] type-level programming with match types
-
18:55
[popl'24] predictive monitoring against pattern regular languages