Pages that link to "Item:Q4645803"
From MaRDI portal
The following pages link to Modular properties of algebraic type systems (Q4645803):
Displaying 10 items.
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- A type system for higher-order modules (Q2942929) (← links)
- Modular type classes (Q3189786) (← links)
- A very modal model of a modern, major, general type system (Q3189790) (← links)
- (Q3490966) (← links)
- (Q4362909) (← links)
- Modular types in some supersimple theories (Q4451735) (← links)
- A Modular Type Reconstruction Algorithm (Q4617969) (← links)
- Modeling abstract types in modules with open existential types (Q5261533) (← links)
- Principal Type Schemes for Modular Programs (Q5756513) (← links)