Verified Causal Broadcast with Liquid Haskell.
Patrick RedmondGan ShenNiki VazouLindsey KuperPublished in: CoRR (2022)
Keyphrases
- programming language
- functional programming
- causal relationships
- data broadcasting
- causal networks
- boundary conditions
- causal reasoning
- causal relations
- data dissemination
- causal models
- plagiarism detection
- causal inference
- digital television
- news video
- real time
- mathematical model
- mobile clients
- bayesian networks
- information systems
- information retrieval