Pages that link to "Item:Q1196301"

The following pages link to Inferring the equivalence of functional programs that mutate data (Q1196301):

Displaying 3 items.

• A theory of binding structures and applications to rewriting (Q685380) (← links)
• A first order logic of effects (Q1390955) (← links)
• (Q5376659) (← links)