United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
Graphs and various graph-like combinatorial structures, such as preorders and hypergraphs, are ubiquitous in programming. This paper focuses on representing graphs in a purely functional programming language like Haskell. There are several existing approaches; one of the most recently developed ones...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AOSA Inc.
2022
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |