Pages that link to "Item:Q2942929"
From MaRDI portal
The following pages link to A type system for higher-order modules (Q2942929):
Displaying 8 items.
- Path resolution for nested recursive modules (Q1929336) (← links)
- Types for modules (Q2375744) (← links)
- Lightweight Static Capabilities (Q2866337) (← links)
- 1ML with Special Effects (Q3188295) (← links)
- 1ML – Core and modules united (Q4625163) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions (Q5415645) (← links)
- A bisimulation for dynamic sealing (Q5899331) (← links)
