1 × United Kingdom
type (2) polymorph (1) intersect (1) gradual (1) subtyp (1) integr (1) union (1) sound (1) shape (1) nomin (1)
Person: Fabian Muehlboeck
Wrote 3 papers:
- PLDI-2014-GreenmanMT #bound #morphism #polymorphism
- Getting F-bounded polymorphism into shape (BG, FM, RT), p. 12.
- OOPSLA-2017-MuehlboeckT #type system
- Sound gradual typing is nominally alive and well (FM, RT), p. 30.
- OOPSLA-2018-MuehlboeckT #type system
- Empowering union and intersection types with integrated subtyping (FM, RT), p. 29.