Satoshi Kura 0001 Hiroshi Unno 0001 Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System. 973-1002 2024 8 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3674662 https://www.wikidata.org/entity/Q130867112 db/journals/pacmpl/pacmpl8.html#0001024