4 results
Core data structures and operations
Categorical types and classes
Reifies arbitrary terms into types that can be reflected back into terms
Reified constraints