The following pages link to Indexed types (Q1389626):
Displaying 7 items.
- Dependently typed array programs don't go wrong (Q843222) (← links)
- Generic programming in 3D (Q923888) (← links)
- Computer algebra and artificial intelligence (Q1404691) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- (Q4808692) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)