Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Presented by Lélio Brun.
Presented at POPL'20
Видео Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset автора React в примерах
Видео Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset автора React в примерах
Информация
4 декабря 2023 г. 5:14:40
00:22:20
Похожие видео