MuehlboeckFabian

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 .