Collaborated with:A.Ahmed D.R.Licata Dustin Jamner A.Takikawa D.Feltey B.Greenman J.Vitek M.Felleisen
Talks about:gradual (3) type (2) parametr (1) togeth (1) theori (1) sound (1) first (1) again (1) time (1) dead (1)
Person: Max S. New
DBLP: New:Max_S=
Contributed to:
201620192020Wrote 3 papers:
- POPL-2016-TakikawaFGNVF #question #type system
- Is sound gradual typing dead? (AT, DF, BG, MSN, JV, MF), pp. 456–468.
- POPL-2019-NewLA #type system
- Gradual type theory (MSN, DRL, AA), p. 31.
- POPL-2020-NewJA #parametricity
- Graduality and parametricity: together again for the first time (MSN, DJ, AA), p. 32.