User loginNavigation |
archivesType 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 ? |
Browse archivesActive forum topics |
Recent comments
3 weeks 18 hours ago
3 weeks 22 hours ago
3 weeks 22 hours ago
25 weeks 2 days ago
29 weeks 4 days ago
31 weeks 1 day ago
31 weeks 1 day ago
33 weeks 6 days ago
38 weeks 3 days ago
38 weeks 3 days ago