共 50 条
- [31] On the Termination Problem for Probabilistic Higher-Order Recursive Programs 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [32] Asynchronous Probabilistic Couplings in Higher-Order Separation Logic PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
- [34] Automatic Alignment in Higher-Order Probabilistic Programming Languages PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 535 - 563
- [37] Understanding the fission of higher-order solitons under the action of the higher-order dispersion. 2013 CONFERENCE ON LASERS AND ELECTRO-OPTICS EUROPE AND INTERNATIONAL QUANTUM ELECTRONICS CONFERENCE (CLEO EUROPE/IQEC), 2013,