Pycket: a tracing JIT for a functional language. - Spenser Bauman; Carl Friedrich Bolz; Robert Hirschfeld; Vasily Kirilichev; Tobias Pape; Jeremy G. Siek; Sam Tobin-Hochstadt (ICFP, 2015)

Sound gradual typing: only mostly dead. - Spenser Bauman; Carl Friedrich Bolz-Tereick; Jeremy G. Siek; Sam Tobin-Hochstadt (Proc. ACM Program. Lang., 2017)