Towards an Operational Semantics for a Parallel Non-Strict Functional Language.

Jon G. Hall Clement A. Baker-Finch Philip W. Trinder David J. King

Published in: IFL (1998)

Keyphrases

operational semantics
functional language
functional programming
formal semantics
programming language
model theoretic
mental states
artificial intelligence
activity diagrams
general purpose
object identity