Kaho Honda

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Functional Properties

Data Abstraction

Service Discovery

Top Venues

Log. Methods Comput. Sci.

Publications

Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. Log. Methods Comput. Sci. 18 (3) (2022)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. CoRR (2021)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. FSCD (2021)