Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming.
Thomas EhrhardMichele PaganiChristine TassonPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- higher order
- probabilistic model
- mathematical model
- formal model
- management system
- statistical model
- high order
- experimental data
- high level
- objective function
- parameter estimation
- computational model
- object oriented programming
- learning algorithm
- conceptual model
- first order logic
- theoretical framework
- markov random field
- case study