Publication:4038672
From MaRDI portal
zbMath0765.68058MaRDI QIDQ4038672
Publication date: 18 May 1993
functional programming; functional parameters; cost-closures; necessary-time equations; sufficient-time equations; time-analysis of functional programs
Related Items
Verified Root-Balanced Trees, Strictness and totality analysis with conjunction, Amortized complexity verified, Automated higher-order complexity analysis, Game semantics approach to higher-order complexity, Type-based cost analysis for lazy functional languages, Linear dependent types in a call-by-value scenario