An effective theory of type refinements.

Yitzhak Mandelbaum David Walker Robert Harper

Published in: ICFP (2003)

Keyphrases

real time
trade off
theoretical basis
information systems
high quality
search algorithm
evolutionary algorithm
control system
computationally efficient
theoretical framework
cost effective
formal theory