Inductive graphs and functional graph algorithms
From MaRDI portal
Publication:2757101
DOI10.1017/S0956796801004075zbMath0994.68032MaRDI QIDQ2757101
Publication date: 21 November 2001
Published in: Journal of Functional Programming (Search for Journal in Brave)
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