TY  - RPRT
TI  - Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning
AU  - Gregor Nitsche
PY  - 2019
UR  - https://arxiv.org/abs/1906.11606
ID  - 1906.11606
ER  -