Recursive Types
From thelas.dk
I have written a series of projects in this subject.
The last of the projects was my prize assignment where the theory is applied on regular xml-types, and it can be downloaded below.
Before the prize assignment I wrote a similar project on regular expressions togeather with Michael Nissen. I have created a poster which explains what happens in this project. The poster and the project itself can be downloaded below.
Downloads
