[oopsla23] from capabilities to regions: enabling efficient compilation of lexical effect ...
Published 7 months ago • 39 plays • Length 19:05Download video MP4
Download video MP3
Similar videos
-
17:32
[oopsla23] languages with decidable learning: a meta-theorem
-
19:03
[oopsla23] reusing just-in-time compiled code
-
14:36
[oopsla23] back to direct style: typed and tight
-
17:51
[oopsla23] inference of resource management specifications
-
16:32
[oopsla23] explainable program synthesis by localizing specifications
-
18:32
[oopsla23] opening and welcome
-
18:11
[oopsla23] continuing webassembly with effect handlers
-
19:08
[oopsla23] rhombus: a new spin on macros without all the parentheses
-
3:12
what is a lexer (no bs explanation)
-
1:24:18
building a compiler in c - lexical analysis
-
17:09
[oopsla23] an explanation method for models of code
-
20:29
[oopsla23] getting into the flow: towards better type error messages for constraint-based ...
-
16:59
[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism
-
22:13
[oopsla23] user-customizable transpilation of scripting languages
-
15:07
[oopsla23] outcome logic: a unifying foundation for correctness and incorrectness reasonin...
-
16:48
[oopsla23] towards better semantics exploration for browser fuzzing
-
21:36
[oopsla23] beacons: an end-to-end compiler framework for predicting and utilizing dynamic ...
-
16:49
[pldi'23] purecake: a verified compiler for a lazy functional language