Pages that link to "Item:Q1891249"
From MaRDI portal
The following pages link to The data type variety of stack algebras (Q1891249):
Displaying 5 items.
- The expressive theory of stacks (Q580954) (← links)
- On system rollback and totalized fields: an algebraic approach to system change (Q649582) (← links)
- Type inference in stack based languages (Q684389) (← links)
- Division safe calculation in totalised fields (Q1015383) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)