Programming Language Design Courses
ACM SIGPLAN via YouTube Implementation and Synthesis of Math Library Functions
ACM SIGPLAN via YouTube Latte: Lightweight Aliasing Tracking for Java
ACM SIGPLAN via YouTube Capture Tracking in Scala
ACM SIGPLAN via YouTube Programming Languages for AI Programming Agents
ACM SIGPLAN via YouTube CellPond: Spatial Programming Without Escape
ACM SIGPLAN via YouTube Toward Programming Languages for Reasoning - Humans, Symbolic Systems, and AI Agents
ACM SIGPLAN via YouTube Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
ACM SIGPLAN via YouTube A Type System for Elixir
ACM SIGPLAN via YouTube The Rational Programmer: An Investigative Method for Programming Language Pragmatics
ACM SIGPLAN via YouTube