Semantics Courses
Center for Language & Speech Processing(CLSP), JHU via YouTube Localization vs. Semantics: Visual Representations in Unimodal and Multimodal Models
Center for Language & Speech Processing(CLSP), JHU via YouTube Modeling American Sign Language via Linguistic Knowledge Infusion
USC Information Sciences Institute via YouTube Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
ACM SIGPLAN via YouTube All the Binaries Together: A Semantic Approach to Application Binary Interfaces
ACM SIGPLAN via YouTube Homotopy Type Theory for Sewn Quilts
ACM SIGPLAN via YouTube A Semantics of Core Erlang with Handling of Signals
ACM SIGPLAN via YouTube The Semantics of Plurals in Expression Languages - SLE
ACM SIGPLAN via YouTube Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024
ACM SIGPLAN via YouTube Memory Consistency Models for Program Transformations - An Intellectual Abstract
ACM SIGPLAN via YouTube