ACM SIGPLAN Courses

A R4RS Compliant REPL in 8Kb - Scheme'23

Explore the creation of a compact R4RS compliant Scheme REPL in just 8Kb, examining challenges and solutions for minimal implementation while maintaining standard conformance.

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

Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation

Explore the visualization of transforming nondeterministic finite-state machines to deterministic ones in this insightful presentation.

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

The Calysto Scheme Project - Integrating Scheme with Python

Explore Calysto Scheme: a Scheme-to-Python project with call/cc support, syntactic extensions, and Python interoperability. Learn its applications in education and beyond.

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

Visualizing Why Nondeterministic Finite-State Automata Reject

Explore visual techniques for understanding rejection in nondeterministic finite-state automata, enhancing comprehension of complex computational concepts.

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

Owi: An Interpreter and Toolkit for WebAssembly in OCaml

Explore Owi, an OCaml-based interpreter and toolkit for WebAssembly. Learn about its architecture, features, and advantages for experimentation and symbolic manipulations of Wasm code.

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

Building a Lock-Free STM for OCaml - OCaML'23

Explore lock-free software transactional memory in OCaml with kcas library. Learn about composable transactions, modular blocking, and lock-free data structures for efficient concurrent programming.

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

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