Type Systems for Optimizing Stack-based Code.

Ando Saabas Tarmo Uustalu

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

distributed systems
complex systems
metadata
case study
database systems
bayesian networks
multiscale
relational databases
computer systems
building blocks
learning systems
systems require