ACM SIGPLAN Courses

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

Lightning Talks on Haskell Programming - Session I

Explore diverse Haskell topics through rapid-fire presentations at the Haskell Symposium, covering cutting-edge research and innovative applications in functional programming.

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

An Exceptional Actor System in Haskell - Functional Pearl

Explore a hidden actor framework in GHC's runtime system, demonstrating its power through distributed systems examples and discussing implications for feature constraints.

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

A Haskell Auto-Parallelizer for Distributed Computing

Explore a Haskell auto-parallelizer for distributed computing, leveraging function purity to create scalable and performant applications on large clusters.

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

Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing

Explore an innovative approach to property-based testing, integrating LazySearch with NIST's ACTS for significantly faster and more effective testing in functional programming.

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

The Essence of Reactivity

Explore abstractions capturing time variance in reactive programming, comparing approaches and demonstrating a generic Haskell interface for different temporal formalisms.

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

HasTEE: Programming Trusted Execution Environments with Haskell

Explore HasTEE, a Haskell-embedded DSL for programming Trusted Execution Environments. Learn how it simplifies TEE application development with automatic partitioning and enhanced security features.

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

Lightning Talks on Haskell Programming - Session II

Explore diverse Haskell topics through rapid-fire presentations, gaining insights into cutting-edge developments and innovative applications in functional programming.

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

The Evolution of Effects in Haskell - From Monads to Higher-Order Effects

Explore the evolution of effectful programming in Haskell, from monads to higher-order effects. Gain insights into harmonizing pure functional programming with real-world computational effects.

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