A Bidirectional Refinement Type System for LF.

William Lovas Frank Pfenning

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

image processing
databases
image segmentation
multiscale