A predicate transformer semantics for effects (functional pearl).

Wouter Swierstra Tim Baanen

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

fuzzy logic
formal semantics
logic programming
database
relational databases
conceptual model
belief revision