Programming Languages Courses
ACM SIGPLAN via YouTube Lineage: A Data-Flow Analysis for Erlang
ACM SIGPLAN via YouTube Functorial Syntax for All - Representing and Reasoning About Binding Structures
ACM SIGPLAN via YouTube Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
ACM SIGPLAN via YouTube Game-Enriched Categories
ACM SIGPLAN via YouTube Parameterized Algebraic Protocols
ACM SIGPLAN via YouTube Object Capabilities - Principles and Applications
ACM SIGPLAN via YouTube Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine
ACM SIGPLAN via YouTube Consider Collaboration - Importance and Strategies in Research
ACM SIGPLAN via YouTube The Potential of Information-Flow Control Research for Helping GDPR Compliance
ACM SIGPLAN via YouTube