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