Login / Signup

A separation logic for effect handlers.

Paulo Emílio de VilhenaFrançois Pottier
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • logic programming
  • knowledge base
  • probabilistic logic
  • classical logic
  • predicate logic
  • negative impact
  • database
  • neural network
  • artificial intelligence
  • social networks
  • database systems
  • similarity measure
  • modal logic