共 50 条
- [49] Subtyping Delimited Continuations ICFP 11 - PROCEEDINGS OF THE 2011 ACM SIGPLAN: INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2011, : 81 - 93
- [50] Subtyping Without Reduction MATHEMATICS OF PROGRAM CONSTRUCTION (MPC 2022, 2022, 13544 : 34 - 61