Merkliste 
 1 Ergebnisse 
 
1

Bounded expectations: resource analysis for probabilistic p..:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,