[miniKanren'23] miniKanren: Tutorial
[miniKanren'23] miniKanren: Tutorial
William E. Byrd
No description available
Видео [miniKanren'23] miniKanren: Tutorial канала ACM SIGPLAN
William E. Byrd
No description available
Видео [miniKanren'23] miniKanren: Tutorial канала ACM SIGPLAN
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With![[POPL'22] The Decidability and Complexity of Interleaved Bidirected Dyck Reachability](https://i.ytimg.com/vi/cMRqpPd3HEE/default.jpg)
[POPL'22] The Decidability and Complexity of Interleaved Bidirected Dyck Reachability![[OCaml'22] Efficient “out of heap” pointers for multicore OCaml](https://i.ytimg.com/vi/eIQf1bRl8_k/default.jpg)
[OCaml'22] Efficient “out of heap” pointers for multicore OCaml
Warping Cache Simulation of Polyhedral Programs![[SLE] Property-Based Testing: Climbing the Stairway to Verification](https://i.ytimg.com/vi/QGOnUm5HBmo/default.jpg)
[SLE] Property-Based Testing: Climbing the Stairway to Verification![[WITS'24] Yaffle: A New Core for Idris 2](https://i.ytimg.com/vi/_ApsEm2t6UY/default.jpg)
[WITS'24] Yaffle: A New Core for Idris 2
Low-Latency, High-Throughput Garbage Collection
DISTAL: The Distributed Tensor Algebra Compiler![[MPLR23] Is Wasm Becoming Garbage? (Keynote)](https://i.ytimg.com/vi/nnDo0i6NbsI/default.jpg)
[MPLR23] Is Wasm Becoming Garbage? (Keynote)
IRDL: An IR Definition Language for SSA Compilers![[ICFP'22] Safe Couplings: Coupled Refinement Types](https://i.ytimg.com/vi/4LV8a8cz_w0/default.jpg)
[ICFP'22] Safe Couplings: Coupled Refinement Types
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration![[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…](https://i.ytimg.com/vi/qAeEWKr9wfU/default.jpg)
[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…![[VMCAI'22] Back to the Future: A Fresh Look at Linear Temporal Logic](https://i.ytimg.com/vi/DSqbfwk2NKg/default.jpg)
[VMCAI'22] Back to the Future: A Fresh Look at Linear Temporal Logic![[VMCAI'22] Making PROGRESS in Property Directed Reachability](https://i.ytimg.com/vi/IexW7nvkwwM/default.jpg)
[VMCAI'22] Making PROGRESS in Property Directed Reachability
Natural Language-Guided Programming![[SLE] Partial Loading of Repository-Based Models through Static Analysis](https://i.ytimg.com/vi/PpVQtfrw6qw/default.jpg)
[SLE] Partial Loading of Repository-Based Models through Static Analysis
Erlang 2021 - Graft: General Purpose Raft Consensus in Elixir![[PEPM'23] Fast Cryptographic Code via Partial Evaluation](https://i.ytimg.com/vi/ovr9AfpbqhY/default.jpg)
[PEPM'23] Fast Cryptographic Code via Partial Evaluation![[ICFP'22] Staged Compilation with Two-Level Type Theory](https://i.ytimg.com/vi/0BOQE48_qOM/default.jpg)
[ICFP'22] Staged Compilation with Two-Level Type Theory![[POPL'23] babble: Learning Better Abstractions with E-Graphs and Anti-unification](https://i.ytimg.com/vi/ogGiKdhDmhU/default.jpg)
[POPL'23] babble: Learning Better Abstractions with E-Graphs and Anti-unification