Pages that link to "Item:Q1250704"
From MaRDI portal
The following pages link to A theory of type polymorphism in programming (Q1250704):
Displaying 7 items.
- Region-based memory management (Q676777) (← links)
- Efficient virtual machine support of runtime structural reflection (Q838165) (← links)
- Type inference for polymorphic references (Q918190) (← links)
- A semantics of multiple inheritance (Q1106652) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- Foundations of a theorem prover for functional and mathematical uses (Q4275695) (← links)
- 1ML – Core and modules united (Q4625163) (← links)
