Sign in

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

Pierre-Louis CurienMarcelo P. FioreGuillaume 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