Eine tausend Blumen blühen lassen: Eine algebraische Darstellung für Kanten-Graphen
Die Arbeit präsentiert eine neue Datenstruktur für Kanten-Graphen, die auf totalen und rekursiven Definitionen basiert, um Fehler bei der Verwendung von partiellen APIs zu vermeiden und rekursive Berechnungen zu fördern.