A type theory for incremental computational complexity with control flow changes-Reference-Cited by-同舟云学术

A type theory for incremental computational complexity with control flow changes

Published:2016-09-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
language:
Short-container-title:

Author:

Çiçek Ezgi¹,Paraskevopoulou Zoe²,Garg Deepak¹

Affiliation:

1. MPI-SWS, Germany

2. Princeton University, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2951913.2951950

Reference28 articles.

1. A type theory for incremental computational complexity with control flow changes (technical appendix). Online at http://www. mpi-sws.org/~ecicek/ducostit_appendix.pdf. A type theory for incremental computational complexity with control flow changes (technical appendix). Online at http://www. mpi-sws.org/~ecicek/ducostit_appendix.pdf.

2. U. A. Acar. Self-Adjusting Computation. PhD thesis Department of Computer Science Carnegie Mellon University 2005. U. A. Acar. Self-Adjusting Computation. PhD thesis Department of Computer Science Carnegie Mellon University 2005.

3. Adaptive functional programming

4. An experimental analysis of self-adjusting computation

5. Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Relational cost analysis in a functional-imperative setting;Journal of Functional Programming;2021

2. On the expressiveness and semantics of information flow types;Journal of Computer Security;2020-02-04

3. Relational cost analysis for functional-imperative programs;Proceedings of the ACM on Programming Languages;2019-07-26

4. Closure conversion is safe for space;Proceedings of the ACM on Programming Languages;2019-07-26

5. Incremental $$\lambda $$ -Calculus in Cache-Transfer Style;Programming Languages and Systems;2019