Type System Courses
ACM SIGPLAN via YouTube Polyregular Functions on Unordered Trees of Bounded Height
ACM SIGPLAN via YouTube Type-Based Gradual Typing Performance Optimization
ACM SIGPLAN via YouTube API-Driven Program Synthesis for Testing Static Typing Implementations
ACM SIGPLAN via YouTube Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages
ACM SIGPLAN via YouTube Types 3: Session Preview
ACM SIGPLAN via YouTube Gradual Typing and Verification - Session Preview
ACM SIGPLAN via YouTube Mixed and Verified Consistency with Propel and ConOpY
ACM SIGPLAN via YouTube Reference Capabilities for Flexible Memory Management
ACM SIGPLAN via YouTube Mutually Iso-Recursive Subtyping - OOPSLA 2023
ACM SIGPLAN via YouTube