Login / Signup
Compositional Type Systems for Stack-Based Low-Level Languages.
Ando Saabas
Tarmo Uustalu
Published in:
CATS (2006)
Keyphrases
</>
low level
high level
expert systems
knowledge based systems
real time
databases
machine learning
database systems
computer systems
higher level
semantic information
expressive power
formal languages