Tomoya Chiba

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Functional Programs

Term Rewriting Systems

Top Venues

J. Autom. Reason.

Publications

Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. J. Autom. Reason. 64 (7) (2020)
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. TACAS (1) (2018)