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 × 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 DBLP: Bauman:Spenser

Contributed to:

ICFP 20152015
OOPSLA 20172017

Wrote 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.

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.