The following pages link to Sets, types and type-checking (Q4943506):
Displaying 6 items.
- Richer types for \(Z\) (Q1816920) (← links)
- Types, Sets, and Categories (Q3166618) (← links)
- The Foundations of Specification (Q3374096) (← links)
- UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY (Q3988833) (← links)
- Checking Emptiness of Non-Deterministic Regular Types with Set Operators (Q5415619) (← links)
- Type inference for set theory (Q5958782) (← links)