共 50 条
- [7] Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
- [8] Higher-order Fourier Analysis and Applications FOUNDATIONS AND TRENDS IN THEORETICAL COMPUTER SCIENCE, 2019, 13 (04): : 247 - 448