Pages that link to "Item:Q5466590"
From MaRDI portal
The following pages link to Implementation of Functional Languages (Q5466590):
Displaying 9 items.
- The Peter Landin prize (Q604860) (← links)
- Amortized complexity verified (Q670702) (← links)
- A Transformational Approach to Parametric Accumulated-Cost Static Profiling (Q2798274) (← links)
- A Transformational Approach to Resource Analysis with Typed-Norms (Q3453647) (← links)
- A general framework for static profiling of parametric resource usage (Q4593063) (← links)
- A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
- Verified Root-Balanced Trees (Q5056001) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Inferring Static Non-monotone Size-aware Types Through Testing (Q5403477) (← links)
