[popl 2021] a graded dependent type system with a usage-aware semantics (full)
Published 3 years ago • 290 plays • Length 31:06Download video MP4
Download video MP3
Similar videos
-
23:13
[popl'23] type-preserving, dependence-aware guide generation for sound, effective amortize...
-
18:51
[popl 2021] mechanized logical relations for termination-insensitive noninterference (full)
-
23:22
[popl 2021] on the semantic expressiveness of recursive types (full)
-
23:21
[popl 2021] a unifying type-theory for higher-order (amortized) cost analysis (full)
-
27:52
[popl 2021] the taming of the rew: a type theory with computational assumptions (full)
-
19:27
[popl 2021] abstracting gradual typing moving forward : precise and space-efficient (full)
-
29:17
[popl 2021] intensional datatype refinement (full)
-
13:53
[popl 2021] coqpl: a limited case for reification by type inference
-
38:12
"type systems - the good, bad and ugly" by paul snively and amanda laucher
-
21:33
[popl'24] when subtyping constraints liberate: a novel type inference approach for first-c...
-
21:04
[popl'24] polymorphic type inference for dynamic languages
-
21:29
skeletal semantics and their interpretations
-
20:17
type-driven gradual security with references
-
27:52
[popl 2021] persevere: persistency semantics for verification under ext4 (full)
-
2:49
[src popl'22] jonathan chan -- towards a syntactic model of sized dependent types
-
23:01
fully abstract module compilation
-
21:19
[popl'24] modular denotational semantics for effects with guarded interaction trees