Login / Signup
Tomoya Chiba
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Functional Programs
Term Rewriting Systems
Higher Order
Pairwise
Top Venues
TACAS (1)
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)