Hirofumi Yokouchi

Publication Activity (10 Years)

Years Active: 1986-2019
Publications (10 Years): 1

Top Topics

Engineering Courses

Frequent Itemsets

Top Venues

Publications

Michiko Yasukawa, Hirofumi Yokouchi, Koichi Yamazaki
Syllabus Mining for Faculty Development in Science and Engineering Courses. IIAI-AAI (2019)
Hirofumi Yokouchi
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. FLOPS (2008)
Hirofumi Yokouchi
Completeness of type assignment systems with intersection, union, and type quantifiers. Theor. Comput. Sci. 272 (1-2) (2002)
Hirofumi Yokouchi
Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers. LICS (1998)
Hirofumi Yokouchi
Embedding a Second Order Type System into an Intersection Type System Inf. Comput. 117 (2) (1995)
Hirofumi Yokouchi
F-Semantics for Type Assignment Systems. Theor. Comput. Sci. 129 (1) (1994)
Hirofumi Yokouchi, Teruo Hikita
A Rewriting System for Categorical Combinators with Multiple Arguments. SIAM J. Comput. 19 (1) (1990)
Hirofumi Yokouchi
Church-Rosser Theorem for a Rewriting System on Categorical Combinators. Theor. Comput. Sci. 65 (3) (1989)
Hirofumi Yokouchi
Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models Inf. Control. 71 (1/2) (1986)