Verified Causal Broadcast with Liquid Haskell.
Patrick RedmondGan ShenNiki VazouLindsey KuperPublished in: IFL (2022)
Keyphrases
- programming language
- functional programming
- causal networks
- mathematical model
- causal reasoning
- digital television
- bayesian networks
- causal relationships
- plagiarism detection
- information systems
- data dissemination
- data broadcasting
- causal relations
- news video
- video sequences
- social networks
- causal knowledge
- functional language
- real time