Higher-order graphs
We can extend flow graphs with functions, for example:
proc
hello
(
name
:string) {
print
('Hello, ' ^
name
^ '.');
}
and add application nodes. We factor the graphs by equations such as:
Beta:
=