Pages that link to "Item:Q5255080"
From MaRDI portal
The following pages link to Dependent types and program equivalence (Q5255080):
Displaying 7 items.
- Dependently typed array programs don't go wrong (Q843222) (← links)
- Dependent types for program termination verification (Q1850960) (← links)
- Integrating linear and dependent types (Q2819785) (← links)
- Partial type equivalences for verified dependent interoperability (Q2985778) (← links)
- Algebra of Programming Using Dependent Types (Q3521992) (← links)
- (Q4816996) (← links)
- Dependent Types for Low-Level Programming (Q5756515) (← links)