Recursive Types


Jump to: navigation, search

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.


Personal tools