ACM SIGPLAN Courses

MetaCoq Tutorial - Meta-programming and Proving with MetaCoq

Explore MetaCoq library for Coq meta-programming, learn to develop plugins and tactics, and understand metatheory for verifying meta-programs. Hands-on exercises included.

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

A Type System for Elixir

Explore progress in adding static and gradual typing to Elixir, including set-theoretic types, bug detection, and mixing typed/untyped code. Learn about potential benefits and future challenges.

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

Vehicle - A Specification Language for Neural Network Properties

Explore Vehicle, a functional DSL for specifying neural network properties. Learn to express, compile, and verify specifications across platforms, enhancing safety in ML-enhanced systems.

• YouTube
• 3 hours 6 minutes
• Self-Paced
• Free Video

Teaching and Learning Compilers Incrementally - Tutorial

Explore incremental compiler development techniques for effective teaching and learning, enhancing understanding of language implementation concepts.

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

A Functional EDSL for Mathematics Visualization That Compiles to JavaScript - Demo

Explore Sylvester, a functional DSL for creating interactive math visualizations using F# and JSXGraph, designed for accessibility and ease of use without requiring web development expertise.

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

Perfectly Imperfect: Music, Math and the Keyboard

Explore the mathematical foundations of Western classical music, from Pythagoras to modern microtonal experiments, examining harmony, tuning systems, and rhythmic innovations through keyboard demonstrations.

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

Homotopy Type Theory for Sewn Quilts

Explore PieceWork, an innovative programming language for quilt design inspired by Homotopy Type Theory. Learn how computational methods can enhance diversity in sewn designs and bridge programming theory with quilting craft.

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

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