[TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages

[Moez AbdelGawad]

> Date: Thu, 18 Apr 2013 15:53:15 -0700
> From: dreamingforward at gmail.com
> To: types-list at lists.seas.upenn.edu
> Subject: Re: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages


> 
> I am very thankful for the references given by everyone.
> Unfortunately my library does not have the titles and it will be some
> time before I can acquire them.

The official version of my PhD thesis is available at https://scholarship.rice.edu/handle/1911/70199
(A version more suitable for electronic browsing and online distribution is available at http://sdrv.ms/15qsJ5x )
-Moez