TY  - RPRT
TI  - A Functional Abstraction of Typed Invocation Contexts
AU  - Youyou Cong
AU  - Chiaki Ishio
AU  - Kaho Honda
AU  - Kenichi Asai
PY  - 2022
DO  - 10.46298/lmcs-18(3:34)2022
UR  - https://arxiv.org/abs/2110.07349
ID  - 2110.07349
ER  -