ACM SIGPLAN Courses

Weighted Refinement Types for Counterpoint Composition

Explore weighted refinement types for music composition, blending programming concepts with music theory to create flexible counterpoint systems.

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

Exploring Self-Embedded Knitting Programs with Twine

Explore self-embedded knitting programs using Twine, focusing on embedding fabrication details in object design. Learn about self-decoding language for knitting and its potential impact on manufacturing.

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

miniKanren Tutorial

Explore miniKanren, a relational programming language, through hands-on examples and practical applications. Gain insights into logic programming concepts and techniques.

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

Stable Model Semantics Extension of miniKanren

Explore stable model semantics extension for miniKanren, enhancing logic programming capabilities and expanding its application domains.

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

Goals as Constraints: Writing miniKanren Constraints in miniKanren

Explore an extension to miniKanren allowing goals to run as constraints, enhancing expressiveness and efficiency in relational programming.

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

klogic: miniKanren in Kotlin - miniKanren'23 Conference

Explore miniKanren implementation in Kotlin with klogic, covering its features, design decisions, and practical applications in logic programming.

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

Semi-Automated Direction-Driven Functional Conversion - miniKanren'23

Explore semi-automated direction-driven functional conversion techniques in miniKanren, enhancing program transformation and optimization capabilities.

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

Osiris: An Iris-Based Program Logic for OCaml

Explore Osiris, an Iris-based program logic for OCaml, enabling code verification using Separation Logic. Learn about its features, limitations, and future development plans.

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

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

The Rational Programmer: An Investigative Method for Programming Language Pragmatics

Explore the Rational Programmer method for evaluating programming language pragmatics through simulations, enhancing developer productivity and informing language design and teaching strategies.

• YouTube
• 56 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