22:24Polymorphism, subtyping and type inference in MLsub -- Stephen Dolan - Alan MycroftPOPL PARIS 2017Recommended by 2 • 9 years agoHidden gem
56:00The Influence of Dependent Types -- Stephanie WeirichPOPL PARIS 2017Recommended by 1 • 9 years ago
