Date of this Version
2017
Keywords
Runtime Safety Enforcement and Monitoring, Weak Consistency, Distributed Systems, Haskell
Tech Report Number
17-001
COinS