BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
Collaborated with:
B.Greenman R.B.Findler A.Takikawa M.Felleisen C.Scholliers V.St-Amour Max S. New J.Vitek E.Dean M.Flatt S.Tobin-Hochstadt
Talks about:
gradual (3) type (3) patholog (1) contract (1) practic (1) collaps (1) toward (1) sound (1) dead (1) fix (1)

Person: Daniel Feltey

DBLP DBLP: Feltey:Daniel

Contributed to:

ECOOP 20152015
OOPSLA 20182018
POPL 20162016

Wrote 3 papers:

ECOOP-2015-TakikawaFDFFTF #towards #type system
Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.
OOPSLA-2018-FelteyGSFS #contract #type system
Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.
POPL-2016-TakikawaFGNVF #question #type system
Is sound gradual typing dead? (AT, DF, BG, MSN, JV, MF), pp. 456–468.

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.