2016-01-01

A type theory for incremental computational complexity with control flow changes

Tags

Trustworthy Information Processing

Conference / Medium

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP '16)

Date published

2016-01-01

Date last modified

2019-07-18 12:09:25

Authors

Deepak Garg
Ezgi Çiçek
Zoe Paraskevopoulou

Download