Graphical and incremental type inference. A graph transformation approach

DOI10.1007/S10990-014-9104-8zbMATH Open1360.68320OpenAlexW2765634457MaRDI QIDQ526459FDOQ526459

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

graphical languageprocess networkstype inferencetype visualization

Mathematics Subject Classification ID

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

Cites Work

• Handbook of Graph Grammars and Computing by Graph Transformation
• A general framework for types in graph rewriting
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• From ML to ML ^F
• Transformation of typed composite graphs with inheritance and containment structures
• A general framework for types in graph rewriting

Uses Software

• Haskell
• AGG
• Miranda
• Lua

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526459)