Login / Signup
Modular Specification of Monads Through Higher-Order Presentations.
Benedikt Ahrens
André Hirschowitz
Ambroise Lafont
Marco Maggesi
Published in:
FSCD (2019)
Keyphrases
</>
higher order
high order
natural images
low order
specification language
pairwise
markov random field
formal specification
high level
highly modular
lambda calculus
markov models
multimedia
machine learning
conditional random fields
social networks
business rules
provably correct
modular structure
data sets