Sign in

An effective theory of type refinements.

Yitzhak MandelbaumDavid WalkerRobert 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