TateRoss

Sound gradual typing is nominally alive and well

MuehlboeckFabian, TateRoss, 2017 .

Empowering union and intersection types with integrated subtyping

MuehlboeckFabian, TateRoss, 2018 .

Getting F-bounded polymorphism into shape

MuehlboeckFabian, TateRoss, GreenmanBen, 2014 .

Strict and lazy semantics for effects: layering monads and comonads

TateRoss, K HirschAndrew, 2018 .