Sign in
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