Ben Greenman

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman et al. · 2016 · 91 citations · Full text

Computing, Computer Science, Computer Systems +14

Getting F-bounded polymorphism into shape

Ben Greenman, Fabian Muehlboeck, Ross Tate · 2014 · 32 citations

Computing, Computer Science, Algorithms +16

A spectrum of type soundness and performance

Ben Greenman, Matthias Felleisen · Proceedings of the ACM on Programming Languages · 2018 · 31 citations · Full text

Computing, Computer Science, Programming Languages +16

How to evaluate the performance of gradual type systems

Ben Greenman, Asumu Takikawa, Max S. New et al. · Journal of Functional Programming · 2019 · 25 citations

Computing, Computer Science, Computer Architecture +13

Migratory Typing: Ten Years Later

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 24 citations · Full text

Computing, Computer Science, Linguistics +12