Programming Languages Courses and Certifications

ACM SIGPLAN

Day 1 Lightning Overview of Programming Language Concepts

Discover rapid-fire presentations and research highlights from the first day of POPL'18, exploring cutting-edge developments in programming languages and software development.

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

GOTO Conferences

The Perfect Language - Exploring Modern Programming Language Design

Explore modern programming language design principles and discover why a perfect language may not exist, while examining innovative features and trade-offs shaping the future of development.

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

Career Certificate

Learn HTTP Servers in Go

625 ratings at Boot.dev

Master building production-ready HTTP servers in Go, covering routing, middleware, authentication, webhooks, and database integration. Create robust JSON APIs while learning essential backend development concepts.

• Boot.dev
• 24 hours
• Self-Paced
• Paid Course

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
• Self-Paced
• Free Video

ACM SIGPLAN

Interactive Debugging of Datalog Programs

Explore interactive debugging techniques for Datalog programs using a top-down evaluation strategy. Learn about small-step operational semantics and efficient step-over interactions for complex programming tasks.

• YouTube
• 17 minutes
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video

GoLab conference

Go Back to the Future - Programming Evolution in Go

Explore the evolution of Go programming language through time, from its origins to future possibilities, featuring live demonstrations of moving objects and practical applications.

• YouTube
• 56 minutes
• Self-Paced
• 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
• Self-Paced
• Free Video

InfoQ

Ditch YAML Hell - Apple's Pkl Redefines Config as Code

Discover Apple's Pkl programming language that eliminates YAML configuration headaches with type-safe, scalable alternatives for complex system management.

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

code::dive conference

Introduction to C++20 Concepts and Template Programming

Discover how C++20's template concepts revolutionize code development with clearer interfaces, improved error messages, and enhanced debugging capabilities for more maintainable template programming.

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

Code Sync

Code in Unison - Exploring Content-Addressable Programming

Explore Unison programming language's content-addressable code approach, its benefits, and how it enhances developer experience through a demonstration of describing and deploying microservices.

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

Confreaks

Programming with Only Exceptions - Creating Control Flow with Exception Handling

Explore how exceptions can replace traditional control flow in programming through the creation of Hurl, examining implementation challenges and architectural implications for software development.

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