The following pages link to (Q3345748):
Displaying 10 items.
- Categorical ML -- category-theoretic modular programming (Q684395) (← links)
- Retractions of dI-domains as a model for Type:Type (Q805221) (← links)
- On the classification of binding mechanisms (Q910205) (← links)
- A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
- A view of programming languages as symbiosis of meaning and computations (Q1079942) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- Types for modules (Q2375744) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- (Q3700859) (← links)
- Why adjunctions matter -- a functional programmer perspective (Q6562512) (← links)