The following pages link to Calculating sized types (Q5959585):
Displayed 8 items.
- The Computability Path Ordering: The End of a Quest (Q3540166) (← links)
- Type-Based Termination with Sized Products (Q3540199) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- Termination checking with types (Q4659886) (← links)
- A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
- (Q5089009) (← links)
- A Tutorial on Type-Based Termination (Q5191089) (← links)
- Inferring Static Non-monotone Size-aware Types Through Testing (Q5403477) (← links)