pith.
Research
Integrity
Review
Pre-print
sign in
Physics
Mathematics
Computer Science
Biology
Finance
Statistics
Systems
Economics
authors
/ Gregor Nitsche
Gregor Nitsche
Identifiers
name variant
Gregor Nitsche
0.50 · backfill
Papers (1)
Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning
cs.PL · 2019 · author #1
Mentions
No mention provenance yet.