A static semantics for Haskell.

Karl-Filip Faxén

Published in: J. Funct. Program. (2002)

Keyphrases

formal semantics
programming language
logic programming
functional programming
transformation rules
machine learning
semantic information
default reasoning
argumentation semantics
general purpose
conceptual model
schema mappings