2015-04-11

Refinement Types for Incremental Computational Complexity

Tags

Trustworthy Information Processing

Conference / Medium

Proceedings of the 24th European Symposium on Programming (ESOP '15)

Date published

2015-04-11

Date last modified

2019-07-18 12:09:25

Authors

Deepak Garg
Ezgi Çiçek
Umut A. Acar

Download