Home » forums » LtU Forum

Type and Effects systems and Lucassen's Thesis

I'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 | 8820 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Try this:

Click

It was the only useful link off a google scholar search. That's the abstract, but I'm not sure how to get the rest of it; "contact your local academic library"? Perhaps they don't even have the rest in electronic form, but oh well, it's something.

By moskvax at Wed, 2005-07-27 11:12 | login or register to post comments

thanks

Thanks for helping. I found this page too:

LCS Publication Page

It says to contact the MIT to order a print copy. From there I tried to find Lucassen's homepage, hoping to ask him directly if he did have it in electronic format. But no success in finding this either. So I guess I will contact the publications office and see how it goes.

By Andrei Formiga at Wed, 2005-07-27 15:37 | login or register to post comments

PDF scan available

PDF scan available here.

https://apps.dtic.mil/sti/pdfs/ADA186930.pdf

By pnkfelix at Thu, 2023-03-16 03:22 | login or register to post comments