Programming Languages Courses
ACM SIGPLAN via YouTube Fluid: Towards Transparent, Self-Explanatory Research Outputs
ACM SIGPLAN via YouTube Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules
ACM SIGPLAN via YouTube Type-Based Gradual Typing Performance Optimization
ACM SIGPLAN via YouTube Quantum Computing - Session Preview
ACM SIGPLAN via YouTube Machine and Automata Learning - Session Preview
ACM SIGPLAN via YouTube Gradual Typing and Verification - Session Preview
ACM SIGPLAN via YouTube Synthesis 2 - Session Preview
ACM SIGPLAN via YouTube Automated Verification - Session Preview
ACM SIGPLAN via YouTube Evolving Weak Memory Models for Evolving Architectures
ACM SIGPLAN via YouTube