共 50 条
- [23] On Interaction, Continuations and Defunctionalization TYPED LAMBDA CALCULI AND APPLICATIONS, TLCA 2013, 2013, 7941 : 205 - 220
- [24] Compiling with Continuations, Correctly PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):