ACM SIGPLAN Courses

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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• Free Video

Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement

Explore task equivalence in software engineering practice adaptation, focusing on maintaining functionality while tailoring to local contexts. Learn to identify compatible aspects for effective modifications.

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