Functional Programming with Graphs

@inproceedings{Erwig1997FunctionalPW,
  title={Functional Programming with Graphs},
  author={Martin Erwig},
  booktitle={ICFP},
  year={1997}
}
Graph algorithms expressed in functional languages often suffer from their inherited imperative, state-based style. In particular, this impedes formal program manipulation. We show how to model persistent graphs in functional languages by graph constructors. This provides a decompositional view of graphs which is very close to that of data types and leads to a "more fictional" formulation of graph algorithms. Graph constructors enable the definition of general fold operations for graphs. We… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 37 extracted citations

Enriching megamodel management with collection-based operators

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) • 2015
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Graph Algorithms with a Functional Flavous

Advanced Functional Programming • 1995
View 8 Excerpts
Highly Influenced

Definition of standard ML

View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…