Pages that link to "Item:Q1196301"
From MaRDI portal
The following pages link to Inferring the equivalence of functional programs that mutate data (Q1196301):
Displaying 7 items.
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- A first order logic of effects (Q1390955) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Equivalence checking of two functional programs using inductive theorem provers (Q2410575) (← links)
- (Q5376659) (← links)
- A categorical interpretation of Landin's correspondence principle (Q5890068) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)