Media Summary: today I talk about one of my favorite additions to typing: Protocol! in this we extend from a previous example where we used ... Hi, this is Yaoda. The talk is about the OOPSLA paper Revisiting Iso-recursive This talk is part of the Scientific Machine Learning Research Talks (SMaRT) Seminar Series, a joint initiative between Johns ...
Oopsla23 Structural Subtyping As Parametric - Detailed Analysis & Overview
today I talk about one of my favorite additions to typing: Protocol! in this we extend from a previous example where we used ... Hi, this is Yaoda. The talk is about the OOPSLA paper Revisiting Iso-recursive This talk is part of the Scientific Machine Learning Research Talks (SMaRT) Seminar Series, a joint initiative between Johns ... Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like ... PRO_SAM connects PRO_SAP with the SAM II solver. In this tutorial, we provide an overview of the equivalent frame model for ... Presenter: Julian Mackay Presented at POPL'20.
I will present the design of a programming language (called MLPolyR) whose type system makes significant use of row ... Manual surface consistent statics derive and apply. Near Surface. Refraction Statics. Refraction Intercept Method. Programs ... Paper: Union and intersection types are both simple and powerful but have seen ...
![[OOPSLA23] Structural Subtyping as Parametric Polymorphism](https://i.ytimg.com/vi/zkUupBdVKuA/mqdefault.jpg)
![[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism](https://i.ytimg.com/vi/tl-DWLjVw-o/mqdefault.jpg)
![[OOPSLA] MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types](https://i.ytimg.com/vi/LaxnjjTYfWs/mqdefault.jpg)
![Records, sums, cases, and exceptions: Row-polymorphism at work [1/9]](https://i.ytimg.com/vi/l6ibFW82hYk/mqdefault.jpg)
