Programming Languages Courses and Certifications

Strange Loop Conference

Why Programming Languages Matter

Explore the evolution and impact of programming languages through one expert's 45-year journey, highlighting challenges, opportunities, and the importance of language design in software development.

• YouTube
• 57 minutes
• On-Demand
• Free Video

Scrimba

Learn Imba - The Full-Stack Programming Language Behind Scrimba

Discover Imba: a fast, full-stack language with smart syntax, built-in tags, and memoized DOM. Learn its advantages over React and how it streamlines web development for efficiency and speed.

• YouTube
• 55 minutes
• On-Demand
• Free Video

Paul G. Allen School

CSEP 501 - Compilers for Computer Languages - Lecture 5

Explore advanced compiler techniques, optimization strategies, and code generation methods in this comprehensive lecture on modern compiler design and implementation.

• YouTube
• 2 hours 52 minutes
• On-Demand
• Free Video

Paul G. Allen School

Compiler Design and Implementation - Lecture 4

Explore static semantics, semantic checks, and type checking in programming languages. Dive into field references and attributes with practical examples.

• YouTube
• 2 hours 51 minutes
• On-Demand
• Free Video

Paul G. Allen School

Let's Build a Hygienic Macro Expander!

Explore hygienic macro expansion in Racket with Matthew Flatt. Learn about scope sets, pattern matching, and template substitution to build robust language extensions and new programming languages.

• YouTube
• 56 minutes
• On-Demand
• Free Video

GeeCON Conference

The Origin of Programming Language Features - Evolution and Decision-Making

Explore the evolution of programming languages, focusing on Java's recent developments and the decision-making process behind new features.

• YouTube
• 50 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Gradual Typing and Verification - Session Preview

Explore gradual typing and verification techniques in programming languages with Ronald Garcia's preview of the POPL'24 session.

• YouTube
• 10 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Automated Ambiguity Detection in Layout-Sensitive Grammars

Explore automated ambiguity detection in layout-sensitive grammars using SMT solving. Learn about local ambiguity, reachability conditions, and their application to language design.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Gradual Typing for Effect Handlers

Explore gradual typing for effect handlers, integrating effect typing with existing languages. Learn about GrEff language, its semantics, and the graduality theorem through operational logical relations models.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Propagator Networks for Degenerate Computation - Enhancing Software Robustness

Explore propagator networks as a robust architecture for degenerate computation, enabling software evolution, operational feedback, and language mixing, with bioinformatics examples.

• YouTube
• 20 minutes
• On-Demand
• Free Video

KansasFest

A2: A Programming Language for the Apple II

Explore A2, a new programming language for Apple II, its motivations, and compiler development challenges. Learn about this MIT-licensed project from its creator.

• YouTube
• 30 minutes
• On-Demand
• Free Video

LeadDev

Substrate Engineering - Foundations for AI-Assisted Development

Explore the importance of substrate engineering in LLM-based tools, focusing on improving programming languages and frameworks for enhanced code reliability and safety.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Code Sync

A Hitchhiker's Guide to Linearity - Lambda Days 2023

Explore the world of linear logic in programming languages, from linear types to ownership systems, and discover their impact on safety and performance.

• YouTube
• 47 minutes
• On-Demand
• Free Video

Code Sync

Beyond Functional Programming: A Taste of Verse - Lambda Days 2023

Explore Verse, a new functional logic language for the metaverse, featuring innovative concepts beyond traditional functional programming paradigms.

• YouTube
• 1 hour 12 minutes
• On-Demand
• Free Video

ACM SIGPLAN

How to Read a PL-Security Paper

Explore techniques for understanding PL-security papers, including threat models, attacker concepts, and contributions to programming languages. Gain insights for PL generalists approaching security topics.

• YouTube
• 38 minutes
• On-Demand
• Free Video