ACM SIGPLAN Courses

Flattening Meets Effects - A Surprising Connection

Explore the unexpected link between term-rewriting systems and algebraic effects, examining HORPO's application to effect systems and its extension to 'let' constructs.

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

One Weird Trick to Untie Landin's Knot

Explore Landin's Knot pattern for encoding general recursion. Discover how restricting quantification over function environments can safely add higher-order references to terminating languages.

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

Exploring Modal Types for the Intel Quantum SDK

Explore modal types for Intel Quantum SDK, focusing on a proposed type system with three modes to ensure proper data handling in quantum kernels.

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

A Type-Theoretic Account of Quantum Computation

Explore type-theoretic concepts for describing and proving properties of quantum computations, focusing on quantum circuits using Coq's dependent and polymorphic types.

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

Semantic Encapsulation Using Linking Types

Explore semantic encapsulation with linking types to preserve language invariants when integrating foreign code, ensuring sound interoperability in multi-language systems.

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

A Type System for Feature Engineering in Machine Learning

Explore a dependent type system for feature engineering, enhancing machine learning model inputs through advanced data operations and compiler techniques.

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

An Intrinsically-typed Probabilistic Programming Language in Coq - Extended Abstract

Explore formalization of intrinsically-typed probabilistic programming language in Coq, focusing on syntax, evaluation, and formal verification applications.

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

A Calculus of Inductive Linear Constructions

Explore a novel calculus combining linear and dependent types, addressing challenges in linear dependent types research and enabling efficient resource management in programming.

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

Multi-phase Computation as an Applicative Functor

Explore multi-phase computation as an applicative functor, bridging static and dynamic program structures. Gain insights into resolving tensions between data and execution patterns.

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

Bridging the Syntax-Semantics Gap in Programming - A Novel Programming-by-Demonstration Approach

Explore a novel programming-by-demonstration paradigm that bridges the syntax-semantics gap, enabling intuitive and visual program creation without learning complex syntax.

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

The Principles of the Flix Programming Language

Explore the design values and principles of Flix, a multi-paradigm programming language, and their impact on its syntax, semantics, type system, and standard library.

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

Contextualized Programming Language Documentation - Enhancing Learning with Adaptive Explanations

Generate contextualized programming language documentation tailored to specific code, improving learning efficiency and understanding for developers working with new languages.

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

Portals: An Extension of Dataflow Streaming for Stateful Serverless

Explore serverless distributed programming with Portals, blending dataflow streaming and actor frameworks for scalable, atomic processing in decentralized applications.

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

Competitive Debugging: Toward Contests Promoting Debugging as a Skill

Explore competitive debugging as a novel approach to enhance software development skills through engaging contests, promoting debugging techniques and tool adoption.

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

Forest: Structural Code Editing with Multiple Cursors

Explore Forest, a structural code editor bridging interactive editing and complex refactoring scripts through novel multi-cursor design for efficient and expressive code modifications.

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