Inductive graphs and functional graph algorithms

DOI10.1017/S0956796801004075zbMath0994.68032MaRDI QIDQ2757101

Martin Erwig

Publication date: 21 November 2001

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

functional languagesgraph algorithms

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Graph theory (including graph drawing) in computer science (68R10) Functional programming and lambda calculus (68N18)

Related Items (5)

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing ⋮ Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures ⋮ Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings ⋮ Unnamed Item ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures

This page was built for publication: Inductive graphs and functional graph algorithms