Type systems for the masses: deriving soundness proofs and efficient checkers.

Sylvia Grewe Sebastian Erdweg Pascal Wittmann Mira Mezini

Published in: Onward! (2015)

Keyphrases

complex systems
distributed systems
computing systems
multimedia
digital libraries
expert systems
computationally efficient
learning systems
game playing
computer vision
decision making
image analysis
management system
building blocks