@misc{indiciaea6025fd2423f,
  title = {Structural Contracts -- Contracts for Type Construction \& Dependent Types to Ensure Consistency of Extra-Functional Reasoning},
  author = {Gregor Nitsche},
  year = {2019},
  url = {https://arxiv.org/abs/1906.11606},
  note = {Source identifier: 1906.11606}
}