Informatics National Institute of Informatics Zhenjiang Hu Keisuke Nakano National Institute / Monadic Branches Kazuyuki Asada Soichiro Hidaka Hiroyuki Kato The University of Tokyo National Institute / Informatics The University / /
IndustryTerm
model driven software / iteration operator / type systems / /
Organization
University of Tokyo National Institute / University of Electro-Communications / Informatics Zhenjiang Hu Keisuke Nakano National Institute / Informatics National Institute / /