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

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9400 subscribers    RSS
View channel on YouTube Videos Playlists

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

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

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

YT 16 minutes 21 seconds ACM SIGPLAN [ICFP24] A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts,(…) YT 17 minutes 11 seconds ACM SIGPLAN [ICFP24] Oxidizing OCaml with Modal Memory Management YT 1 hour 26 seconds ACM SIGPLAN [ICFP24] Refinement Types from Light to Deep Verification

YT 26 minutes 7 seconds ACM SIGPLAN [ICFP24] Remembering Alan Jeffrey YT 15 minutes 46 seconds ACM SIGPLAN [ICFP24] Contract Lenses: Reasoning about Bidirectional Programs via Calculation YT 17 minutes 4 seconds ACM SIGPLAN [ICFP24] Level-p-complexity of Boolean functions using thinning, memoization, and polynomials

YT 28 minutes 23 seconds ACM SIGPLAN [ICFP24] Student Research Competition YT 18 minutes 28 seconds ACM SIGPLAN [ICFP24] Knuth–Morris–Pratt illustrated (JFP Functional Pearls) YT 1 hour 4 minutes 20 seconds ACM SIGPLAN [ICFP24] Capabilities for Control

YT 50 minutes 11 seconds ACM SIGPLAN [ICFP24] Memorial for D. Turner & Arvind YT 18 minutes 36 seconds ACM SIGPLAN [ICFP24] A correct-by-construction conversion from lambda calculus to combinatory logic (JFP(…) YT 17 minutes 39 seconds ACM SIGPLAN [ICFP24] Functional Pearl: Grokking the Sequent Calculus

YT 18 minutes 30 seconds ACM SIGPLAN [ICFP24] Static Blame for gradual typing YT 18 minutes 43 seconds ACM SIGPLAN [ICFP24] Normalization by evaluation for modal dependent type theory YT 16 minutes 52 seconds ACM SIGPLAN [ICFP24] How to Bake a Quantum Π

YT 15 minutes 30 seconds ACM SIGPLAN [ICFP24] Algebraic effects and handlers for arrows YT 1 hour 2 minutes 19 seconds ACM SIGPLAN [ICFP24] Requirements are All You Need