A type theory for incremental computational complexity with control flow changes

Garg, Deepak and Çiçek, Ezgi and Paraskevopoulou, Zoe
(2016) A type theory for incremental computational complexity with control flow changes.
In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP '16).
Conference: ICFP - International Conference on Functional Programming

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item