Programming Languages Courses
ACM SIGPLAN via YouTube Gradual Typing for Effect Handlers
ACM SIGPLAN via YouTube Propagator Networks for Degenerate Computation - Enhancing Software Robustness
ACM SIGPLAN via YouTube A Dependently Typed Language with Dynamic Equality
ACM SIGPLAN via YouTube Synthesis II - Session Preview for POPL 2023
ACM SIGPLAN via YouTube Automatic Differentiation - Session Preview at POPL 2023
ACM SIGPLAN via YouTube Probabilistic Inference - Session Preview at POPL 2023
ACM SIGPLAN via YouTube APL in Industry - Using APL to Get Things Done
Dyalog User Meetings via YouTube APL in Academia - Writing Software for Science
Dyalog User Meetings via YouTube Getting Started and Learning APL - Panel Discussion
Dyalog User Meetings via YouTube