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: Feltey:Daniel
Contributed to:
2015
2018
2016Wrote 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.