Daniel Feltey

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 7

Top Topics

Handwritten Signature Verification

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Sci. Comput. Program.

Publications

Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
How to evaluate the performance of gradual type systems. J. Funct. Program. 29 (2019)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq library for internal verification of running-times. Sci. Comput. Program. 164 (2018)
Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour
Collapsible contracts: fixing a pathology of gradual typing. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, Robert Bruce Findler
Herbarium Racketensis: a stroll through the woods (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
Is sound gradual typing dead? POPL (2016)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq Library for Internal Verification of Running-Times. FLOPS (2016)
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
Towards Practical Gradual Typing. ECOOP (2015)