Ben Greenman

According to our database1, Ben Greenman authored at least 10 papers between 2014 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
Complete monitors for gradual types.
Proc. ACM Program. Lang., 2019

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

2018
A spectrum of type soundness and performance.
Proc. ACM Program. Lang., 2018

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

On the cost of type-tag soundness.
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

The behavior of gradual types: a user study.
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017
Migratory Typing: Ten Years Later.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Type systems as macros.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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

2014
Getting F-bounded polymorphism into shape.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014


  Loading...