Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146).
Oleg KiselyovSam LindleyGordon D. PlotkinNicolas WuPublished in: NII Shonan Meet. Rep. (2019)
Keyphrases
- negative effects
- negative impact
- programming language
- factorial design
- positive effects
- reasoning tasks
- knowledge base
- knowledge representation
- spatial reasoning
- theoretical and practical implications
- algebraic structure
- consistency checking
- reasoning systems
- database
- model based diagnosis
- higher order
- object oriented
- multi agent
- information systems