User loginNavigation |
Type and Effects systems and Lucassen's ThesisI'm chasing references for type and effect systems, from the first papers by Gifford and Lucassen. One of the references is Lucassen's PhD thesis, "Types and Effects towards the Integration of Functional and Imperative Programming", Technical Report MIT-LCS-TR-408; it has a page at MIT here. I was hoping to find this thesis in electronic format, but my searches didn't reveal nothing. I searched for the homepage of the author too, with no better results. Does anyone know if this TR is online ? By Andrei Formiga at 2005-07-25 16:27 | LtU Forum | previous forum topic | next forum topic | other blogs | 7852 reads
|
Browse archives
Active forum topics
|
Recent comments
1 week 6 days ago
2 weeks 4 days ago
2 weeks 5 days ago
2 weeks 5 days ago
3 weeks 3 days ago
3 weeks 6 days ago
3 weeks 6 days ago
3 weeks 6 days ago
5 weeks 1 day ago
5 weeks 3 days ago