ACM SIGPLAN Courses

Buck2 for OCaml Users and Developers

Explore Buck2's advantages for OCaml development, including its benefits over alternatives like Dune or Bazel, and learn how to leverage it effectively.

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

Targeted Static Analysis for OCaml C Stubs - Eliminating Gremlins from the Code

Explore a static analyzer for OCaml C bindings, addressing safety issues and aiding migration to OCaml 5. Learn about tools and techniques to improve code reliability.

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

Efficient OCaml Compilation with Flambda 2

Explore Flambda 2's IR and optimization pass for OCaml, focusing on inlining techniques and engineering constraints for efficient compilation of large codebases.

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

State of the OCaml Platform 2023

Explore a decade of OCaml Platform progress, recent advancements, and future roadmap. Gain insights into key milestones, community feedback, and plans shaping the OCaml developer experience.

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

Parallel Sequences in Multicore OCaml

Explore parallel sequences in Multicore OCaml 5.0.0, enabling efficient parallelization of large tasks without low-level implementation complexities.

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

Functional Programming in the Large - Status and Perspective

Explore functional programming's role in large-scale industrial projects, its intersection with software architecture, and potential for cross-pollination with Domain-Driven Design techniques.

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

Types that Change: The Extensible Type Design Pattern

Explore the Extensible Type Design Pattern for compilers, addressing code duplication and enhancing traceability and error recovery in program representations.

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

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations

Explore coarse-grained self-adjusting computations in Haskell for efficient data updates. Learn from a commercial system's architecture, API, and real-world application.

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

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