摘要: We present a graph grammar based type inference system for a totally graphic development language. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that acts as an on-line tracer and debugger. Programs are proc... 展开
作者 | Silvia Clerici Cristina Zoltan Guillermo Prestigiacomo | ||
---|---|---|---|
作者单位 | |||
文集名称 | Trends in functional programming | ||
出版年 | 2011 | ||
出版社/出版地 | Springer / Heidelberg | ||
会议名称 | International Symposium on Trends in Functional Programming;International Symposium on Trends in Functional Programming | ||
开始页/总页数 | 66 / 18 | ||
会议日期/会议地点 | 2010 / Norman;Norman, Okla | 会议年/会议届次 | 2010 / 11th;11th |
中图分类号 | TP312-532 | ||
关键词 | type inference graphical language process networks type visualization | ||
馆藏号 | N2012EMST0001688 |