[oopsla23] mutually iso-recursive subtyping

Published 9 months ago • 74 plays • Length 18:53

Download video MP4
Download video MP3

Similar videos

13:02

revisiting iso-recursive subtyping
23:50

[covid] revisiting iso-recursive subtyping
25:29

[popl'23] recursive subtyping for all
17:28

[oopsla23] structural subtyping as parametric polymorphism
15:32

[oopsla23] exact recursive probabilistic programming
19:08

[oopsla23] rhombus: a new spin on macros without all the parentheses
31:31

building a webassembly-first os – an adventure into the unorthodox - dan phillips, loophole labs
18:32

[oopsla23] opening and welcome
25:26

[aplas] a calculus with recursive types, record concatenation and subtyping
18:19

[oopsla23] melocoton: a program logic for verified interoperability between ocaml and c
17:58

[oopsla23] data extraction via semantic regular expression synthesis
18:15

[oopsla23] mobius: synthesizing relational queries with recursive and invented predicates
17:41

[oopsla23] bidirectional object-oriented programming: towards programmatic and direct mani...
19:06

[oopsla23] complete first-order reasoning for properties of functional programs
16:48

[oopsla23] towards better semantics exploration for browser fuzzing
16:32

[oopsla23] explainable program synthesis by localizing specifications
19:05

[oopsla23] from capabilities to regions: enabling efficient compilation of lexical effect ...
20:29

[oopsla23] getting into the flow: towards better type error messages for constraint-based ...
17:55

[oopsla23] inductive program synthesis guided by observational program similarity

Clip.africa.com - Privacy-policy