Pages that link to "Item:Q5261533"

The following pages link to Modeling abstract types in modules with open existential types (Q5261533):

Displaying 2 items.

• Path resolution for nested recursive modules (Q1929336) (← links)
• The Essence of Dependent Object Types (Q3188291) (← links)