Daniel Feltey

Is sound gradual typing dead?

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

Engineering, Compiler Technology, Neurolinguistics +24

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

Engineering, Type Theory, Compiler Technology +18

Towards Practical Gradual Typing

Asumu Takikawa, Daniel Feltey, Earl Dean et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 22 citations · Full text

Engineering, Type Theory, Software Engineering +22

Collapsible contracts: fixing a pathology of gradual typing

Daniel Feltey, Ben Greenman, Christophe Scholliers et al. · Proceedings of the ACM on Programming Languages · 2018 · 21 citations · Full text

Engineering, Verification, Dynamic Flexibility +19

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman et al. · ACM SIGPLAN Notices · 2016 · 16 citations

Engineering, Compiler Technology, Neurolinguistics +24