scientific article; zbMATH DE number 6744393
From MaRDI portal
Publication:5278083
DOI10.23638/LMCS-13(2:16)2017zbMath1398.68084MaRDI QIDQ5278083
Claudio V. Russo, Andrew D. Gordon, Sooraj Bhat, Johannes Borgström
Publication date: 13 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Distribution estimation for probabilistic loops, Densities of almost surely terminating probabilistic programs are differentiable almost everywhere