Complexity Analysis for a Lazy Higher-Order Language
Abstract elided by the publisher.
Related papers
- Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming JFP 2001
- Modular, higher-order cardinality analysis in theory and practice POPL 2014
- Lazy multivariate higher-order forward-mode AD POPL 2007
- Modular, higher order cardinality analysis in theory and practice JFP 2017
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs ICFP 2012
- Strictness Analysis Aids Time Analysis POPL 1988
- Functional programming with the FC++ library JFP 2004
- Constraints to Stop Higher-Order Deforestation POPL 1997