A theory of effects and resources: adjunction models and polarised calculi.

Pierre-Louis Curien Marcelo P. Fiore Guillaume Munch-Maccagnoni

Published in: POPL (2016)

Keyphrases

complex systems
parameter estimation
case study
model selection
computational models
database
machine learning algorithms
belief revision
resource management
limited resources
mathematical framework