![]() ![]() Stochastic Lambda Calculus: a perspicuous, simple formalism. For example, it is ok to write \(x :: O) -> x but not \x -> x because that would be polymorphic. Today: Stochastic lambda calculus Probabilistic First-Order Logic Part I:Stochastic Lambda Calculus Probabilistic programming languages give rise to more generalformalisms for de ning probability distributions, with graphicalmodels as a basic special case. Very importantly, all variables must be explicitly typed (polymorphism is forbidden). ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |