Programming Language Theory & Compilers Courses and Certifications

Dyalog User Meetings

Text Processing in APL - Data-Parallel and Idiomatic Parsing Techniques

Explore APL's capabilities for text processing, parsing, and handling text-oriented applications. Learn data-parallel parsing techniques and their advantages over traditional methods.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

Code Sync

Delimited Continuations Demystified

Explore delimited continuations: their nature, functionality, and applications in schedulers and effect systems. Gain insights into this powerful programming concept.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

Code Sync

Predicting and Preventing Chaos with Formal Methods in TLA+ - Lambda Days 2022

Explore formal methods in TLA+ to predict and prevent chaos in distributed computing. Learn how to design robust systems beyond untestable whiteboard drawings and ad-hoc scripts.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

Code Sync

Using Smoke and Mirrors to Compile a Functional Programming Language to Efficient GPU Code

Explore techniques for compiling functional languages to efficient GPU code, overcoming hardware restrictions through strategic language design and aggressive compiler optimizations.

• YouTube
• 44 minutes
• Self-Paced
• Free Video

Code Sync

Functional Parsing for Novel Markup Languages - Lambda Days 2022

Explore functional parsing for novel markup languages, focusing on fault-tolerant parsers with real-time error messages. Learn design principles and implementation techniques through case studies of MiniLaTeX and L1.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

Code Sync

Formal Reasoning: An Alternative Approach to Formal Verification - Code BEAM America 2022

Explore formal reasoning techniques to improve system testing, monitoring, and design. Learn practical applications of formal verification concepts for more efficient software development and operations.

• YouTube
• 46 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Haskell Symposium 2024 - Session 3

Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.

• YouTube
• 9 hours 13 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Haskell Symposium 2024 - Session 3

Explore advanced Haskell concepts and applications in this comprehensive symposium, featuring expert presentations and cutting-edge research in functional programming.

• YouTube
• 7 hours 26 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Teaching and Learning Compilers Incrementally - Tutorial

Explore incremental compiler development techniques for effective teaching and learning, enhancing understanding of language implementation concepts.

• YouTube
• 3 hours 23 minutes
• Self-Paced
• Free Video

CppCon

Generating Parsers in C++ with Maphoon - Part 1 - CppCon 2022

Explore C++ parser generation with Maphoon, covering tokenizing, AST building, and LALR parsing. Learn flexible, efficient techniques for modern C++ parsing and compiler construction.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

CppNow

The C++ Vector Challenge - Exploring Object Interfaces and Formal Specifications

Delve into the complexities of C++ vector implementation, exploring formal interfaces, static checking mechanisms, and the challenges of specifying object interfaces through a deep technical analysis.

• YouTube
• 1 hour 31 minutes
• Self-Paced
• Free Video

Topos Institute

Cubical Types for the Working Formalizer - Making Type Theory Accessible

Discover how to effectively use cubical type theory for formalizing mathematics, focusing on automation techniques that simplify complex theoretical concepts for practical applications.

• YouTube
• 1 hour 4 minutes
• Self-Paced
• Free Video

Topos Institute

How to Make Mathematicians Into Programmers and Vice Versa

Explore the intersection of formalized mathematics and programming through cognitive science, examining how to improve tools and education for both mathematicians and developers.

• YouTube
• 1 hour 11 minutes
• Self-Paced
• Free Video

Topos Institute

Synthetic Domains in the 21st Century - From Naive to Modern Denotational Semantics

Explore modern synthetic domain theory and its practical applications in programming language semantics, from basic lambda calculus to advanced type systems and memory management.

• YouTube
• 1 hour
• Self-Paced
• Free Video

Topos Institute

Lean 4 - Empowering the Formal Mathematics Revolution and Beyond

Discover how Lean 4 proof assistant revolutionizes formal mathematics, enabling mathematicians to formalize complex theories while serving as a functional programming language for seamless mathematical-computational integration.

• YouTube
• 1 hour 18 minutes
• Self-Paced
• Free Video