The following pages link to (Q4944851):
Displaying 7 items.
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- The implication and finite implication problems for typed template dependencies (Q1071525) (← links)
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- Proving type class laws for Haskell (Q2151278) (← links)
- Roles, stacks, histories: A triple for Hoare (Q3021420) (← links)
- Program derivation in type theory: A partitioning problem (Q3740203) (← links)
- (Q4312475) (← links)