Generic zero-cost reuse for dependent types.

Larry Diehl Denis Firsov Aaron Stump

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

high cost
information retrieval
information systems
total cost
minimal cost
multiscale
multi agent
multi objective
response time
cost sensitive
cost savings