Travelled to:1 × Canada
Collaborated with:J.G.Siek S.Tobin-Hochstadt Carl Friedrich Bolz-Tereick C.F.Bolz R.Hirschfeld V.Kirilichev T.Pape
Talks about:function (1) languag (1) gradual (1) pycket (1) trace (1) sound (1) type (1) onli (1) most (1) dead (1)
Person: Spenser Bauman
DBLP: Bauman:Spenser
Contributed to:
2015
2017Wrote 2 papers:
- ICFP-2015-BaumanBHKPST #functional #jit #named
- Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.
- OOPSLA-2017-BaumanBST #type system
- Sound gradual typing: only mostly dead (SB, CFBT, JGS, STH), p. 24.