Session-ocaml: A session-based library with polarities and lenses von Imai, Keigo, Yoshida, Nobuko, Yuen, Shoji

Volltext

Who Search for Research Grant for What and When? von Yamamoto, Yusuke, Imai, Keigo, Tsugehara, Taketo

Volltext

Toward the Efficiency of Job Shop Type Production in the Aircraft Industry von Yokota, Yasunari, Kawamura, Yoko, Imai, Keigo, Fukai, Hidekazu, Atsusaka, Yutaro, Sakai, Ryo

Volltext

Fluent Session Programming in C# von Kimura, Shunsuke, Imai, Keigo

Volltext

A Session Type System with Subject Reduction von IMAI, Keigo, YUEN, Shoji, AGUSA, Kiyoshi

Volltext

Session Type Inference in Haskell von Imai, Keigo, Yuen, Shoji, Agusa, Kiyoshi

Volltext

Session Types Without Sophistry: System Description von Kiselyov, Oleg, Imai, Keigo

Volltext

Lightweight Linearly-typed Programming with Lenses and Monads von Imai, Keigo, Garrigue, Jacques

Volltext

First Record of a Common Reef Octopus, Octopus cyanea Gray, 1849 (Cephalopoda; Octpodidae) from Sagami Bay, Kanagawa Prefecture von Imai, Keigo, Yamada, Kazuhiko

Volltext

A Session Type System with Subject Reduction von IMAI, Keigo, YUEN, Shoji, AGUSA, Kiyoshi

Volltext

Session-ocaml: A Session-Based Library with Polarities and Lenses von Imai, Keigo, Yoshida, Nobuko, Yuen, Shoji

Volltext

About Pseudobagrus tokiensis Inhabiting an Agricultural Irrigation Ditch Canal Joined with Sagamigawa River von Imai, Keigo, Sugino, Jun, Shimazu, Yuichiro, Takada, Masahiro, Fujibayashi, Chieko, Takeshima, Tetsuo

Volltext

Fluent Session Programming in C# von Kimura, Shunsuke, Imai, Keigo

Volltext

kmclib: Automated Inference and Verification of Session Types von Imai, Keigo, Lange, Julien, Neykova, Rumyana

Volltext bestellen

航空機産業におけるジョブショップ型生産の効率化に向けて von 横田, 康成, 河村, 洋子, 今井, 敬吾, 深井, 英和, 厚坂, 裕太郎, 酒井, 亨

Volltext

Multiparty Session Programming with Global Protocol Combinators von Imai, Keigo, Neykova, Rumyana, Yoshida, Nobuko, Yuen, Shoji

Volltext bestellen

kmclib: Automated Inference and Verification of Session Types von Imai, Keigo, Lange, Julien, Neykova, Rumyana

Volltext

First Record of a Pink Salmon, Oncorhynchus gorbuscha, from Sagami River von Imai, Keigo

Volltext

LEAD FRAME AND MANUFACTURING METHOD THEREOF von NAGATA MASAHIRO, IMAI KEIGO, YAMAMOTO KYOJI

Volltext bestellen

Lead frame and method for manufacturing same von YAMAMOTO, KYOJI, NAGATA, MASAHIRO, IMAI, KEIGO

Volltext bestellen