Pages that link to "Item:Q2398175"
From MaRDI portal
The following pages link to Type-based cost analysis for lazy functional languages (Q2398175):
Displaying 13 items.
- ATLAS: automated amortised complexity analysis of self-adjusting data structures (Q832253) (← links)
- Usage counting analysis for lazy functional languages (Q1275747) (← links)
- Order-of-demand analysis for lazy languages (Q1352133) (← links)
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (Q2802465) (← links)
- The role of lazy evaluation in amortized data structures (Q2817684) (← links)
- Denotational cost semantics for functional languages with inductive types (Q2981951) (← links)
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (Q3623950) (← links)
- Denotational semantics as a foundation for cost recurrence extraction for functional languages (Q5101922) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Implementation of Functional Languages (Q5466590) (← links)
- Two decades of automatic amortized resource analysis (Q5875892) (← links)
- Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)
- (Q6079229) (← links)