BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
R.Tate B.Greenman
Talks about:
type (2) polymorph (1) intersect (1) gradual (1) subtyp (1) integr (1) union (1) sound (1) shape (1) nomin (1)

Person: Fabian Muehlboeck

DBLP DBLP: Muehlboeck:Fabian

Contributed to:

PLDI 20142014
OOPSLA 20172017
OOPSLA 20182018

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.