The following pages link to (Q3332227):
Displayed 4 items.
- Inferring the equivalence of functional programs that mutate data (Q1196301) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Category-sorted algebra-based action semantics (Q2638792) (← links)
- Action Semantics in Retrospect (Q3184743) (← links)