_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 1 hour 55 seconds 185 views Shared 2 months ago ACM SIGPLAN [Scheme24] Challenges in the Design and Implementation of Teaching Languages for EDSLs YT 1 hour 28 minutes 19 seconds 218 views Shared 2 months ago ACM SIGPLAN [Scheme24] Tutorial on Program Transformations YT 27 minutes 27 seconds 129 views Shared 2 months ago ACM SIGPLAN [Scheme24] Nocksche and Nocko

YT 31 minutes 44 seconds 181 views Shared 2 months ago ACM SIGPLAN [Scheme24] Beyond SICP - Design and Implementation of a Notional Machine for Scheme YT 30 minutes 1 second 92 views Shared 2 months ago ACM SIGPLAN [Scheme24] A Teaching Language for Specification YT 23 minutes 6 seconds 101 views Shared 2 months ago ACM SIGPLAN [Scheme24] An Implementation of a Visual Stepper in the GRASP Programming System

YT 57 minutes 12 seconds 667 views Shared 2 months ago ACM SIGPLAN [Scheme24] Scheme on WebAssembly: It is happening! YT 1 hour 1 minute 23 seconds 317 views Shared 2 months ago ACM SIGPLAN [FProPer24] HVM2: Iteraction Combinator Evaluator YT 27 minutes 39 seconds 56 views Shared 2 months ago ACM SIGPLAN [FProPer24] Functional Sparse Tensor Compilation

YT 41 minutes 5 seconds 37 views Shared 2 months ago ACM SIGPLAN [FProPer24] Fusing Gathers with Integer Linear Programming YT 43 minutes 28 seconds 57 views Shared 2 months ago ACM SIGPLAN [FProPer24] A comparison of OpenCL, CUDA, and HIP as compilation targets for a functional array(…) YT 50 minutes 37 seconds 57 views Shared 2 months ago ACM SIGPLAN [FProPer24] Ribbit with Memory Morphisms

YT 29 minutes 36 seconds 65 views Shared 2 months ago ACM SIGPLAN [FProPer24] Tail Modulo Async/Await YT 1 hour 30 minutes 57 seconds 123 views Shared 2 months ago ACM SIGPLAN [FProPer24] From C to Comonads to Climate: A Functional Programmer's Journey in Array Programming(…) YT 30 minutes 9 seconds 33 views Shared 2 months ago ACM SIGPLAN [Erlang24] Controlled Scheduling of Concurrent Elixir Programs

YT 40 minutes 27 seconds 37 views Shared 2 months ago ACM SIGPLAN [Erlang24] The Benefits of Tierless Elixir/Potato for Engineering IoT Systems YT 24 minutes 1 second 16 views Shared 2 months ago ACM SIGPLAN [Erlang24] Elixir-powered Low-income Animal Shelter Support: an Experience Report from Conception(…) YT 25 minutes 42 seconds 22 views Shared 2 months ago ACM SIGPLAN [Erlang24] Is this really a refactoring? Automated equivalence checking for Erlang projects

YT 30 minutes 41 seconds 15 views Shared 2 months ago ACM SIGPLAN [Erlang24] Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors YT 23 minutes 35 seconds 65 views Shared 2 months ago ACM SIGPLAN [Erlang24] Erla+: Translating TLA+ Models into Executable Actor-Based Implementations YT 29 minutes 14 seconds 12 views Shared 2 months ago ACM SIGPLAN [Erlang24] Same same but different: A Comparative Analysis of Static Type Checkers in Erlang

YT 32 minutes 41 seconds 39 views Shared 2 months ago ACM SIGPLAN [Erlang24] Unsafe Impedance: safe languages and safe by design software YT 28 minutes 45 seconds 18 views Shared 2 months ago ACM SIGPLAN [miniKanren24] To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision YT 15 minutes 34 seconds 27 views Shared 2 months ago ACM SIGPLAN [miniKanren24] Six Ways to Implement Divisibility by Three in miniKanren

YT 22 minutes 38 seconds 8 views Shared 2 months ago ACM SIGPLAN [miniKanren24] Improving stableKanren’s Backward Compatibility YT 30 minutes 5 seconds 41 views Shared 2 months ago ACM SIGPLAN [miniKanren24] typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…) YT 55 minutes 48 seconds 41 views Shared 2 months ago ACM SIGPLAN [miniKanren24] Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility

YT 16 minutes 40 seconds 26 views Shared 2 months ago ACM SIGPLAN [miniKanren24] A Relational Solver for Constraint-based Type Inference YT 28 minutes 40 seconds 59 views Shared 2 months ago ACM SIGPLAN [miniKanren24] Between Functional and Relational YT 29 minutes 37 seconds 51 views Shared 2 months ago ACM SIGPLAN [miniKanren24] Relational Reactive Programming: miniKanren for the Web

YT 57 minutes 10 seconds 89 views Shared 2 months ago ACM SIGPLAN [miniKanren24] High-Performance Logic Programming on Servers, Clusters, and GPUs YT 43 minutes 18 seconds 30 views Shared 2 months ago ACM SIGPLAN [FARM24] A Progressive-Adaptive Music Generator (PAMG): An Approach to Interactive Procedural(…) YT 16 minutes 18 seconds 29 views Shared 2 months ago ACM SIGPLAN [FARM24] Demo: Functional Sound Design

YT 22 minutes 37 seconds 19 views Shared 2 months ago ACM SIGPLAN [FARM24] Diffusion-Based Sound Synthesis in Music Production YT 24 minutes 56 seconds 16 views Shared 2 months ago ACM SIGPLAN [FARM24] Demo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell YT 29 minutes 31 seconds 36 views Shared 2 months ago ACM SIGPLAN [FARM24] The Maquette Monad

YT 24 minutes 37 seconds 34 views Shared 2 months ago ACM SIGPLAN [FARM24] Demo: Composable Compositions in Tonart YT 21 minutes 11 seconds 27 views Shared 2 months ago ACM SIGPLAN [FARM24] From Konnakol to Live Coding YT 21 minutes 9 seconds 34 views Shared 2 months ago ACM SIGPLAN [FARM24] Trane: Musical Janet on the Web

YT 22 minutes 33 seconds 13 views Shared 2 months ago ACM SIGPLAN [FARM24] Functional Curves and Surfaces: Algebraic Geometry Inspired Visuals in Hydra YT 22 minutes 20 seconds 15 views Shared 2 months ago ACM SIGPLAN [FARM24] Bridging art and mathematics with Tessella: a Scala functional library for regular(…) YT 25 minutes 56 seconds 16 views Shared 2 months ago ACM SIGPLAN [FARM24] Using Functional Reactive Programming for Robotic Art

YT 25 minutes 37 seconds 39 views Shared 2 months ago ACM SIGPLAN [ICFP24] ICFP Contest Results YT 18 minutes 38 seconds 88 views Shared 2 months ago ACM SIGPLAN [ICFP24] Functional Programming in Financial Markets (Experience Report) YT 16 minutes 20 seconds 36 views Shared 2 months ago ACM SIGPLAN [ICFP24] Alice or Bob?: Process polymorphism in choreographies

YT 16 minutes 48 seconds 24 views Shared 2 months ago ACM SIGPLAN [ICFP24] A Coq Mechanization of JavaScript Regular Expression Semantics YT 16 minutes 41 seconds 14 views Shared 2 months ago ACM SIGPLAN [ICFP24] Blame-correct Support for Receiver Properties in Recursively-Structured Actor Contracts YT 17 minutes 49 seconds 57 views Shared 2 months ago ACM SIGPLAN [ICFP24] The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along(…)

YT 15 minutes 40 seconds 65 views Shared 2 months ago ACM SIGPLAN [ICFP24] Sound Borrow-Checking for Rust via Symbolic Semantics YT 20 minutes 6 seconds 84 views Shared 2 months ago ACM SIGPLAN [ICFP24] Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) YT 19 minutes 11 seconds 38 views Shared 2 months ago ACM SIGPLAN [ICFP24] Double-Ended Bit-Stealing for Algebraic Data Types

YT 16 minutes 21 seconds 23 views Shared 2 months ago ACM SIGPLAN [ICFP24] A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts,(…) YT 17 minutes 11 seconds 149 views Shared 2 months ago ACM SIGPLAN [ICFP24] Oxidizing OCaml with Modal Memory Management YT 17 minutes 40 seconds 20 views Shared 2 months ago ACM SIGPLAN [ICFP24] Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement(…)

YT 17 minutes 56 seconds 23 views Shared 2 months ago ACM SIGPLAN [ICFP24] Synchronous Programming with Refinement Types YT 18 minutes 32 seconds 58 views Shared 2 months ago ACM SIGPLAN [ICFP24] Contextual Typing YT 18 minutes 22 seconds 39 views Shared 2 months ago ACM SIGPLAN [ICFP24] The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing(…)

YT 1 hour 26 seconds 69 views Shared 2 months ago ACM SIGPLAN [ICFP24] Refinement Types from Light to Deep Verification YT 26 minutes 7 seconds 28 views Shared 2 months ago ACM SIGPLAN [ICFP24] Remembering Alan Jeffrey YT 15 minutes 46 seconds 33 views Shared 2 months ago ACM SIGPLAN [ICFP24] Contract Lenses: Reasoning about Bidirectional Programs via Calculation