Login / Signup
An Unboxed Operational Semantics for ML Polymorphism.
Atsushi Ohori
Tomonobu Takamizawa
Published in:
LISP Symb. Comput. (1997)
Keyphrases
</>
operational semantics
maximum likelihood
formal semantics
model theoretic
data model
mental states
denotational semantics
activity diagrams
declarative semantics
database systems
agent programming