Stochastic lambda calculus and monads of probability distributions
Publication:5178903
DOI10.1145/503272.503288zbMath1323.68150OpenAlexW2050509196MaRDI QIDQ5178903
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503288
Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (29)
This page was built for publication: Stochastic lambda calculus and monads of probability distributions