> Date: Thu, 18 Apr 2013 15:53:15 -0700
> From: [email protected]
> To: [email protected]
> 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 everyon
> Date: Sun, 14 Apr 2013 22:55:59 -0700
> From: [email protected]
> To: [email protected]
> CC: [email protected]; [email protected]
> Subject: Re: [TYPES] The type/object distinction and possible synthesis of
> OOP and imperative programming languages
>
> [ The
