Strictness analysis algorithms based on an inequality system for lazy types von Yokouchi, Hirofumi

Volltext

Completeness of type assignment systems with intersection, union, and type quantifiers: Theories of types and proofs von YOKOUCHI, Hirofumi

Volltext

Completeness of type assignment systems with intersection, union, and type quantifiers von Yokouchi, Hirofumi

Volltext

The Correctness and Termination of a Strictness Analysis Algorithm for Functional Programs with Lazy Types von YOKOUCHI, Hirofumi, UBUKATA, Yusuke

Volltext

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types von Yokouchi, Hirofumi

Volltext

The Correctness and Termination of a Strictness Analysis Algorithm for Functional Programs with Lazy Types von YOKOUCHI, Hirofumi, UBUKATA, Yusuke

Volltext

F-semantics for type assignment systems von Yokouchi, Hirofumi

Volltext

Church-Rosser theorem for a rewriting system on categorial combinators von Yokouchi, Hirofumi

Volltext

Embedding a Second-Order Type System into an Intersection Type System von Yokouchi, H.

Volltext

WRAPPING DEVICE von MIYATA SHINTARO, KITAZONO KAZUYA, TAKAIZUMI KOJIRO, YOKOUCHI HIROFUMI, MATSUKURA TAKAHIRO

Volltext bestellen

Completeness of type assignment systems with intersection, union, and type quantifiers von Yokouchi, H.

Volltext

Competitive Adsorption of Water and CO2 on Acetylene-Terminated Polyimide Resins for a Humidity Sensor von MATSUGUCHI, Masanobu, YOKOUCHI, Hirofumi, SADAOKA, Yoshihiko, SAKAI, Yoshiro

Volltext

CONTROL DEVICE FOR LAPPING MACHINE OF ROLL BALE von YOKOUCHI HIROFUMI, MORI MOTOHIRO

Volltext bestellen

STERILIZATION TREATMENT EQUIPMENT OF FOOD von NONAKA TAKASUMI, YOKOUCHI HIROFUMI

Volltext bestellen

Effect of carbon dioxide on the electrical conductivity of polyethylene glycol-alkali carbonate complex film von Saikai, Yoshiro, Sadaoka, Yoshihiko, Matsuguchi, Masanobu, Yokouchi, Hirofumi, Tamai, Kazuhiko

Volltext

A rewriting system for categorical combinators with multiple arguments von YOKOUCHI, H, HIKITA, T

Volltext

関数型プログラムにおける遅延型を用いたストリクトネス解析アルゴリズムの正当性と停止性 von 横内, 寛文, 生形, 祐介

Volltext

Qualitative effect of far infrared irradiation on noodles von Yokouchi, H. (Kagawa Univ., Miki (Japan). Faculty of Agriculture), Matsui, S, Ueta, M, Sakima, T, Manabe, M

Volltext

Construction of artificial seaweed bed accompanied with the reclamation for Unit No. 3 of Ikata Power Station von Yokouchi, Hirofumi, Yamamoto, Ryoichi, Ishizaki, Yukihito

Volltext

A Computation System Based on Categorical Models of the Lambda Calculus von Yokouchi, Hirofumi

Volltext