Последние добавленные видео:
orcid:0000-0002-1360-4714
-
3 месяца назад
39 3 месяца назад 20:20[OOPSLA24] Effect handlers for C via coroutines
-
1 год назад
112 1 год назад 17:28[OOPSLA23] Structural Subtyping as Parametric Polymorphism
-
11 месяцев назад
92 11 месяцев назад 20:00[PLDI24] The Functional Essence of Imperative Binary Search Trees
-
11 месяцев назад
103 11 месяцев назад 16:11[PLDI24] Bringing the WebAssembly Standard up to Speed with SpecTec
-
1 год назад
133 1 год назад 18:11[OOPSLA23] Continuing WebAssembly with Effect Handlers
-
1 год назад
148 1 год назад 15:52[POPL'24] Soundly Handling Linearity
-
7 месяцев назад
473 7 месяцев назад 17:11[ICFP24] Oxidizing OCaml with Modal Memory Management