Daniel Feltey

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
How to evaluate the performance of gradual type systems.
J. Funct. Program., 2019

2018
A Coq library for internal verification of running-times.
Sci. Comput. Program., 2018

Collapsible contracts: fixing a pathology of gradual typing.
Proc. ACM Program. Lang., 2018

2017
Herbarium Racketensis: a stroll through the woods (functional pearl).
Proc. ACM Program. Lang., 2017

2016
Is sound gradual typing dead?
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015
Towards Practical Gradual Typing.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015


  Loading...