Pages that link to "Item:Q2936790"
From MaRDI portal
The following pages link to A language-based approach to functionally correct imperative programming (Q2936790):
Displaying 7 items.
- The correctness of a code generator for a functional language (Q784113) (← links)
- Implementing hybrid semantics: from functional to imperative (Q2037951) (← links)
- (Q2723919) (← links)
- Type-level computation using narrowing in \(\Omega\)mega (Q2866338) (← links)
- Language-based program verification via expressive types (Q2866340) (← links)
- Imperative LF meta-programming (Q2871844) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)