Strict and lazy semantics for effects: layering monads and comonads.

Andrew K. Hirsch Ross Tate

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

Keyphrases

machine learning
e learning
formal semantics
neural network
real world
database
information retrieval
multi agent
logic programming
conceptual graphs