共 50 条
- [2] Higher-Order Temporal Network Prediction COMPLEX NETWORKS & THEIR APPLICATIONS XII, VOL 4, COMPLEX NETWORKS 2023, 2024, 1144 : 461 - 472
- [5] Temporal Higher-Order Contracts ICFP 11 - PROCEEDINGS OF THE 2011 ACM SIGPLAN: INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2011, : 176 - 188
- [7] Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2025, 9 (POPI):