A Core Quantitative Coeffect Calculus.

Aloïs Brunel Marco Gaboardi Damiano Mazza Steve Zdancewic

Published in: ESOP (2014)

Keyphrases

quantitative and qualitative
qualitative and quantitative
real time
genetic algorithm
computer vision
algebraic structure
databases
information retrieval
objective function
quantitative measures
provably correct