Graphical and incremental type inference. A graph transformation approach

DOI10.1007/s10990-014-9104-8zbMath1360.68320OpenAlexW2765634457MaRDI QIDQ526459

Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo

Publication date: 15 May 2017

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2117/87151

zbMATH Keywords

type inferencegraphical languageprocess networkstype visualization

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Uses Software

• Haskell
• AGG
• Miranda
• Lua

Cites Work

• A general framework for types in graph rewriting
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item

This page was built for publication: Graphical and incremental type inference. A graph transformation approach