Spenser Bauman

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Object Identity

Functional Language

Top Venues

Proc. ACM Program. Lang.

Publications

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt
Sound gradual typing: only mostly dead. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt
Pycket: a tracing JIT for a functional language. ICFP (2015)