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