-
1تقرير
المؤلفون: Yoshioka, Takuma, Sekiyama, Taro, Igarashi, Atsushi
مصطلحات موضوعية: Computer Science - Programming Languages, D.3.1, D.3.2, D.3.3, F.3.3
الوصول الحر: http://arxiv.org/abs/2404.16381Test
-
2تقرير
المؤلفون: Ângelo, Pedro, Igarashi, Atsushi, Vasconcelos, Vasco T.
المصدر: EPTCS 401, 2024, pp. 1-10
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2404.05475Test
-
3تقرير
-
4تقرير
المؤلفون: Nishida, Yuki, Saito, Hiromasa, Chen, Ran, Kawata, Akira, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computation and Language, Computer Science - Logic in Computer Science, Computer Science - Software Engineering
الوصول الحر: http://arxiv.org/abs/2108.12971Test
-
5تقرير
المؤلفون: Sato, Sota, Banno, Ryotaro, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi
مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Cryptography and Security, Computer Science - Software Engineering, D.2.4, E.1
الوصول الحر: http://arxiv.org/abs/2106.04826Test
-
6دورية أكاديمية
المؤلفون: SEKIYAMA, TARO, TSUKADA, TAKESHI, IGARASHI, ATSUSHI
المصدر: Journal of Functional Programming ; volume 34 ; ISSN 0956-7968 1469-7653
الإتاحة: https://doi.org/10.1017/s0956796824000054Test
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0956796824000054Test -
7دورية أكاديمية
المؤلفون: Kita, Yuki, Otsuka, Hikari, Ito, Katsuhiro, Hara, Takuto, Shimura, Soichiro, Kawahara, Takashi, Kato, Minoru, Kanamaru, Sojun, Inoue, Koji, Ito, Hiroki, Igarashi, Atsushi, Sazuka, Tomokazu, Takamatsu, Dai, Hashimoto, Kohei, Abe, Takashige, Naito, Sei, Matsui, Yoshiyuki, Nishiyama, Hiroyuki, Kitamura, Hiroshi, Kobayashi, Takashi
المصدر: International Journal of Urology ; volume 31, issue 5, page 552-559 ; ISSN 0919-8172 1442-2042
-
8تقرير
-
9تقرير
المؤلفون: Sekiyama, Taro, Tsukada, Takeshi, Igarashi, Atsushi
المصدر: J. Funct. Prog. 34 (2024) e7
مصطلحات موضوعية: Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2003.08138Test
-
10تقرير
المؤلفون: Toman, John, Siqi, Ren, Suenaga, Kohei, Igarashi, Atsushi, Kobayashi, Naoki
مصطلحات موضوعية: Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2002.07770Test