Gradual Typing for Annotated Type Systems.

Peter Thiemann Luminous Fennell

Published in: ESOP (2014)

Keyphrases

management system
distributed systems
website
complex systems
expert systems
ground truth
medical images
systems require
real time
manually annotated
embedded systems
building blocks
similarity measure
database systems
image segmentation
social networks
information retrieval