A framework for typed HOAS and semantics.

Marino Miculan Ivan Scagnetto

Published in: PPDP (2003)

Keyphrases

main contribution
information systems
decision trees
probabilistic model
artificial intelligence
logic programming
conceptual model
formal semantics
update semantics