ACM SIGPLAN Courses

Crème de la Crem - Composable Representable Executable Machines

Explore building modular software architectures using state machines, combining Domain-Driven Design principles with Haskell's advanced type-level features for robust system composition.

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

Phases in Software Architecture

Explore multi-phase computation structures in software architecture, focusing on novel applicative functors and their potential applications in choreography and multi-tier architecture.

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

Functional Shell and Reusable Components for Easy GUIs

Explore functional shells and observable toolkits for simplified GUI development, focusing on reusable views and architectural patterns derived from practical experience.

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

Typed Design Patterns for the Functional Era - FUNARCH'23

Explore functional design patterns in modern programming, focusing on architectural concepts and their implementation in Rust's type system.

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

Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Driven Design

Explore Domain-Driven Design principles for enhancing Glasgow Haskell Compiler's architecture, addressing immutability, modularity, and composability in large-scale functional systems.

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

Modernizing Standard ML of New Jersey: A Status Report

Explore ongoing efforts to modernize Standard ML of New Jersey, including updates to the compiler, runtime system, and development tools for enhanced performance and usability.

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

The Design and Implementation of an Abstract Interpreter for OCaml Programs - A Preliminary Report on the Salto Analyser

Explore the design and implementation of Salto, a static analyzer for OCaml programs using abstract interpretation to detect exceptions and undefined behaviors.

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

Wasocaml: A Compiler from OCaml to WebAssembly - Lecture

Explore OCaml to WebAssembly compilation, addressing challenges and strategies for garbage-collected languages. Learn about Wasocaml compiler, value representation, and future plans for FFIs and effects handlers.

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

Immutable Arrays Help Mutating Arrays More Efficiently - ML'23 Lecture

Explore how immutable arrays enable compiler optimizations for efficient implementations, challenging intuitions about low-level control in array computations.

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

Resource Polymorphism: Integrating First-Class Resources into ML

Explore resource polymorphism in ML, integrating destructors and resource types for enhanced memory management and functional programming in systems and parallel contexts.

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

Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations

Explore layout polymorphism in OCaml, enabling efficient unboxed types while preserving parametric polymorphism. Learn about type-system design and implementation challenges in managing specializations.

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

Exploring Perceus for OCaml - ML'23

Explore Perceus algorithm implementation in OCaml, comparing its performance with standard garbage collection. Learn about precise reference counting and its potential benefits.

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

Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs

Explore Flambda 2 Types, an abstract domain for static analysis of OCaml programs, focusing on its role in optimizing functional code.

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

A New Standard ML Prettyprinter Library - An Experience Report

Explore a new Standard ML prettyprinter library design, synthesizing ideas from PPML and algebraically derived libraries for simple, functional implementation.

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

Haskell Library for Safer Virtual Machine Introspection - Experience Report

Explore a Haskell library for safer virtual machine introspection, leveraging Template Haskell for compile-time code generation and static error detection in VMI programming.

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