Programming Languages Courses
ACM SIGPLAN via YouTube String Solving for Verification - TutorialFest at POPL 2024
ACM SIGPLAN via YouTube Machine Learning Meets Program Synthesis - TutorialFest at POPL'24
ACM SIGPLAN via YouTube Homotopy Type Theory for Sewn Quilts
ACM SIGPLAN via YouTube Weighted Refinement Types for Counterpoint Composition
ACM SIGPLAN via YouTube Exploring Self-Embedded Knitting Programs with Twine
ACM SIGPLAN via YouTube miniKanren Tutorial
ACM SIGPLAN via YouTube Semi-Automated Direction-Driven Functional Conversion - miniKanren'23
ACM SIGPLAN via YouTube The Calysto Scheme Project - Integrating Scheme with Python
ACM SIGPLAN via YouTube State of the OCaml Platform 2023
ACM SIGPLAN via YouTube