Graphical and incremental type inference. A graph transformation approach

DOI10.1007/S10990-014-9104-8MaRDI QIDQ526459zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Simple type inference for term graph rewriting systems
• scientific article; zbMATH DE number 2044493
• scientific article; zbMATH DE number 1678377
• scientific article; zbMATH DE number 969070
• A general framework for types in graph rewriting

Cites work

• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• A general framework for types in graph rewriting
• Handbook of Graph Grammars and Computing by Graph Transformation

Cited in

(5)

• scientific article; zbMATH DE number 2080217 (Why is no real title available?)
• From ML to ML ^F
• Transformation of typed composite graphs with inheritance and containment structures
• A general framework for types in graph rewriting
• Simple type inference for term graph rewriting systems

Describes a project that uses

Uses Software

• Lua
• Miranda
• AGG
• Haskell

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)