Modular specification of monads through higher-order presentations.
Benedikt AhrensAndré HirschowitzAmbroise LafontMarco MaggesiPublished in: CoRR (2019)
Keyphrases
- higher order
- high order
- natural images
- highly modular
- pairwise
- formal verification
- markov models
- high level
- markov random field
- software engineering
- specification language
- low order
- e learning
- social networks
- conditional random fields
- data mining
- formal specification
- formal methods
- data model
- lower order
- modular structure
- anti unification
- lambda calculus
- modular neural networks
- real time