Refinement Types for Incremental Computational Complexity

DOI10.1007/978-3-662-46669-8_17zbMath1335.68030OpenAlexW2119859640MaRDI QIDQ2802443

Ezgi Çiçek, Umut A. Acar, Deepak Garg

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_17

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18)

Related Items (1)

Unnamed Item

This page was built for publication: Refinement Types for Incremental Computational Complexity