Program Equivalence for Algebraic Effects via Modalities.

Cristina Matache

Published in: CoRR (2019)

Keyphrases

information systems
computer programs
higher order
negative effects
database
information retrieval
multiscale
object oriented
rough sets
static analysis
program execution