Gradual Typing for Annotated Type Systems.

Luminous Fennell Peter Thiemann

Published in: Software Engineering & Management (2015)

Keyphrases

management system
learning systems
computer systems
complex systems
information retrieval
multiscale
multi agent
information technology
intelligent systems
knowledge based systems