Media Summary: A flying car just moved from prototype to production as Hi, this is , a PhD student at EPFL. Our OOPSLA'20 paper is about a 50-year old problem: safe initialization of objects ...
A flying car just moved from prototype to production as Hi, this is , a PhD student at EPFL. Our OOPSLA'20 paper is about a 50-year old problem: safe initialization of objects ...
https://icfp20.sigplan.org/details/hope-2020-papers/6/
Effect systems
![Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with [...]](https://i.ytimg.com/vi/KWsjMWqAXlg/mqdefault.jpg)
Paper and supplementary material: ...
Alef
A flying car just moved from prototype to production as
Functional
New video from
Hi, this is @liufengyun, a PhD student at EPFL. Our OOPSLA'20 paper is about a 50-year old problem: safe initialization of objects ...