Daniel Feltey

According to our database, Daniel Feltey authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

How to evaluate the performance of gradual type systems.

Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen

J. Funct. Program., 2019

2018

A Coq library for internal verification of running-times.

Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler

Sci. Comput. Program., 2018

Collapsible contracts: fixing a pathology of gradual typing.

Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour

Proc. ACM Program. Lang., 2018

2017

Herbarium Racketensis: a stroll through the woods (functional pearl).

Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, Robert Bruce Findler

Proc. ACM Program. Lang., 2017

2016

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Towards Practical Gradual Typing.

Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015