Kazutaka Matsuda

发表

Kazutaka Matsuda, Peter Uhd Jepsen, Corinna Ludovica Koch Dandolo, 2017 .
Meng Wang, Kazutaka Matsuda, 2015, Sci. Comput. Program..
Kazutaka Matsuda, Masato Takeichi, Zhenjiang Hu, 2009, PEPM '09.
Meng Wang, Kazutaka Matsuda, Zhenjiang Hu, 2010, ICFP '10.
Meng Wang, Kazutaka Matsuda, Zhenjiang Hu, 2013, Sci. Comput. Program..
Dongxi Liu, Kazutaka Matsuda, Masato Takeichi, 2007, APWeb/WAIM.
Meng Wang, Kazutaka Matsuda, Kazutaka Matsuda, 2013, ESOP.
Ayumi Shinohara, Kazutaka Matsuda, Naoki Kobayashi, 2012, PEPM '12.
Kazutaka Matsuda, Soichiro Hidaka, Isao Sasano, 2011, LOPSTR.
Kazutaka Matsuda, Naoki Kobayashi, Kazuhide Yasukata, 2014, CONCUR.
Meng Wang, Kazutaka Matsuda, 2018, New Generation Computing.
Kazutaka Matsuda, Soichiro Hidaka, Zhenjiang Hu, 2013 .
Meng Wang, Kazutaka Matsuda, Zhenjiang Hu, 2013, J. Funct. Program..
Ayumi Shinohara, Kazutaka Matsuda, Naoki Kobayashi, 2012, High. Order Symb. Comput..
Meng Wang, Kazutaka Matsuda, 2015, ICFP.
Meng Wang, Kazutaka Matsuda, 2018, ESOP.
Shin-Cheng Mu, Kazutaka Matsuda, Masato Takeichi, 2010, ESOP.
Kazutaka Matsuda, Nate Foster, Janis Voigtländer, 2010, SSGIP.
Meng Wang, Kazutaka Matsuda, Zhenjiang Hu, 2010, MPC.
Kazutaka Matsuda, Makoto Hamana, Masato Takeichi, 2007, ICFP '07.
Kazutaka Matsuda, Zhenjiang Hu, Jeremy Gibbons, 2009 .
Kazutaka Matsuda, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, 2017, NII Shonan Meet. Rep..
Kazutaka Matsuda, Keisuke Nakano, Kazuhiro Inaba, 2012, PEPM '12.
Kazutaka Matsuda, Makoto Hamana, Kazuyuki Asada, 2015, Mathematical Structures in Computer Science.
Kazutaka Matsuda, Soichiro Hidaka, Zhenjiang Hu, 2010, ICFP '10.
Kazutaka Matsuda, Soichiro Hidaka, Zhenjiang Hu, 2009 .
Kazutaka Matsuda, Cristina David, Meng Wang, 2021, Proc. ACM Program. Lang..
Kazutaka Matsuda, Zhenjiang Hu, Jeremy Gibbons, 2010, MPC.