国際会議 2011年1月 Functional Graph Transformations with Structural Recursion The Fourth DIKU-IST Joint Workshop on Foundations of Software Hiroyuki Kato 記述言語 英語 会議種別 口頭発表(一般)