4 results
Core data structures and operations
Type Level Specification by Example
Structural assertions on generic type representations.