A Functional Abstraction of Typed Invocation Contexts. - Youyou Cong; Chiaki Ishio; Kaho Honda; Kenichi Asai (Log. Methods Comput. Sci., 2022)