Login / Signup
Structural Contracts - Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning.
Gregor Nitsche
Published in:
CoRR (2019)
Keyphrases
</>
supply chain
multiple types
construction process
moral hazard
real world
reasoning tasks
machine learning
relational databases
default reasoning
adverse selection