An Action Semantics of Standard ML.

Published in: MFPS (1987)

Keyphrases

maximum likelihood
information systems
mobile robot
operational semantics
action descriptions
real time
artificial intelligence
computer vision
decision making
video sequences
human actions
default reasoning
formal semantics