Login / Signup
Zero-Cost Coercions for Program and Proof Reuse.
Larry Diehl
Aaron Stump
Published in:
CoRR (2018)
Keyphrases
</>
computer programs
total cost
imperative programs
data sets
proof planning
databases
machine learning
information retrieval
case study
high cost
programming environment
cost savings
cost reduction
linear logic
program synthesis