structured-graphs
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
Applications.hs
Generic.hs
New.hs
PHoas.hs
README.md
RecursiveBinders.hs
Streams.hs
Trees.hs

README.md

structured-graphs

==== Info

This is the code for the paper:

Functional Programming with Structured Graphs Bruno C. d. S. Oliveira and William R. Cook

The correspondence between the files and sections in the paper is as follows:

Section 2 --> Phoas.hs Section 3 --> RecursiveBinders.hs Section 4.1 --> Streams.hs Section 4.2 --> Trees.hs Section 5 --> Generic.hs Section 6 --> Applications.hs

======= Contact

Bruno Oliveira: bruno@ropas.snu.ac.kr