Programming Language Design Courses
Meeting Cpp via YouTube How C++23 Changes the Way We Write Code
Meeting Cpp via YouTube The Design Principles of the Elixir Type System
Code Sync via YouTube Designing a Programming Language for Local Reasoning and Simple Debugging
Code Sync via YouTube Bringing Types to Elixir - Set-Theoretic Types for Elixir Programs
Code Sync via YouTube Erlang vs Elixir: On the Shoulder of Giants There's Room for Larger Giants
Code Sync via YouTube Design DSLs with xDSL - SPARSE 2024
ACM SIGPLAN via YouTube Introducing BRAT: A Functional Programming Language for Quantum-Classical Hybrid Programs
ACM SIGPLAN via YouTube Leveraging Rust Types for Program Synthesis
ACM SIGPLAN via YouTube Generating Executable Specification from Formal Semantics of WebAssembly
ACM SIGPLAN via YouTube