Refinement Types for Incremental Computational Complexity

Garg, Deepak and Çiçek, Ezgi and Acar, Umut A.
(2015) Refinement Types for Incremental Computational Complexity.
In: Proceedings of the 24th European Symposium on Programming (ESOP '15).
Conference: ESOP - European Symposium on Programming

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item