Pages that link to "Item:Q2942929"
From MaRDI portal
The following pages link to A type system for higher-order modules (Q2942929):
Displaying 12 items.
- Path resolution for nested recursive modules (Q1929336) (← links)
- Types for modules (Q2375744) (← links)
- Transparent modules with fully syntatic signatures (Q2817724) (← links)
- Lightweight static capabilities (Q2866337) (← links)
- 1ML with Special Effects (Q3188295) (← links)
- A very modal model of a modern, major, general type system (Q3189790) (← links)
- Modular types in some supersimple theories (Q4451735) (← links)
- 1ML – Core and modules united (Q4625163) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- Modeling abstract types in modules with open existential types (Q5261533) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)