Hoare type theory, polymorphism and separation.

Aleksandar Nanevski J. Gregory Morrisett Lars Birkedal

Published in: J. Funct. Program. (2008)

Keyphrases

theoretical framework
theoretical basis
information retrieval
general theory
wide range
formal theory
genetic algorithm
learning algorithm
artificial intelligence
computer vision
website
cooperative
multiresolution
mobile robot
information theory