Login / Signup
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST.
Amin Timany
Léo Stefanesco
Morten Krogh-Jespersen
Lars Birkedal
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
data sets
special case
object oriented databases
deductive databases
real time
information retrieval
information systems
reinforcement learning
hidden markov models
data sources
relational algebra
logical operations