Abstract Refinement Types.

Niki Vazou Patrick Maxim Rondon Ranjit Jhala

Published in: ESOP (2013)

Keyphrases

real time
multimedia
computer vision
information systems
e learning
image processing
three dimensional
similarity measure
expert systems