Pages that link to "Item:Q5703756"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703756):
Displaying 6 items.
- Dependently typed array programs don't go wrong (Q843222) (← links)
- Dependent types for program termination verification (Q1850960) (← links)
- Documenting software systems using types (Q2492956) (← links)
- Algebra of Programming Using Dependent Types (Q3521992) (← links)
- Dependent Types for Low-Level Programming (Q5756515) (← links)
- Subtyping dependent types (Q5958760) (← links)