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

Path	csiph.com!usenet.pasdenom.info!weretis.net!feeder1.news.weretis.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.freenet.ag!news2.euro.net!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path	<moezadel@outlook.com>
X-Original-To	python-list@python.org
Delivered-To	python-list@mail.python.org
X-Spam-Status	OK 0.056
X-Spam-Evidence	'H': 0.90; 'S': 0.01; 'subject:: [': 0.04; 'oop': 0.09; 'cc:addr:python-list': 0.11; 'cc:name:python list': 0.16; 'subject: \n ': 0.16; 'subject:OOP': 0.16; 'subject:object': 0.16; 'subject:possible': 0.16; 'subject:programming': 0.16; 'subject:type': 0.16; 'library': 0.18; 'thu,': 0.19; 'subject:] ': 0.20; 'programming': 0.22; 'cc:addr:python.org': 0.22; 'phd': 0.24; 'received:65.55.116': 0.24; 'cc:20': 0.24; '>': 0.26; 'references': 0.26; 'subject:/': 0.26; 'url:edu': 0.26; 'header :In-Reply-To:1': 0.27; 'to:21': 0.27; 'languages': 0.32; 'date:': 0.34; 'version': 0.36; 'everyone.': 0.36; 'possible': 0.36; 'does': 0.39; 'subject:': 0.39; 'skip:u 10': 0.60; 'email addr:gmail.com': 0.63; 're:': 0.63; 'subject:The': 0.64; 'more': 0.64; 'to:addr:gmail.com': 0.65; 'header:Reply-To:1': 0.67; 'online': 0.71; 'reply-to:no real name:2**0': 0.71; 'browsing': 0.91; 'thesis': 0.91; 'reply-to:addr:live.com': 0.95; '2013': 0.98
X-EIP	[7xWWyQQqBj/5KzQweZGmdvBFCgnEspx7lo32I1BOZao=]
X-Originating-Email	[moezadel@outlook.com]
Content-Type	multipart/alternative; boundary="_901aa042-9fae-4ce2-b8ef-c10cb45ee757_"
From	Moez AbdelGawad <moezadel@outlook.com>
To	Mark Janssen <dreamingforward@gmail.com>, Types List <types-list@lists.seas.upenn.edu>
Subject	RE: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages
Date	Fri, 19 Apr 2013 01:09:50 -0500
Importance	Normal
In-Reply-To	<CAMjeLr8ritHa58aRrTssDeZAATRKcqE5bqwUgEiJf8j=Nfv_WA@mail.gmail.com>
References	<CAMjeLr8ritHa58aRrTssDeZAATRKcqE5bqwUgEiJf8j=Nfv_WA@mail.gmail.com>
MIME-Version	1.0
X-OriginalArrivalTime	19 Apr 2013 06:09:51.0500 (UTC) FILETIME=[80F32CC0:01CE3CC4]
Cc	Python List <python-list@python.org>
X-BeenThere	python-list@python.org
X-Mailman-Version	2.1.15
Precedence	list
Reply-To	moezadel@live.com
List-Id	General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe	<http://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive	<http://mail.python.org/pipermail/python-list/>
List-Post	<mailto:python-list@python.org>
List-Help	<mailto:python-list-request@python.org?subject=help>
List-Subscribe	<http://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups	comp.lang.python
Message-ID	<mailman.812.1366351859.3114.python-list@python.org> (permalink)
Lines	67
NNTP-Posting-Host	2001:888:2000:d::a6
X-Trace	1366351860 news.xs4all.nl 2192 [2001:888:2000:d::a6]:39108
X-Complaints-To	abuse@xs4all.nl
Xref	csiph.com comp.lang.python:43885

Show key headers only | View raw

[Multipart message — attachments visible in raw view] - view raw





> Date: Thu, 18 Apr 2013 15:53:15 -0700
> From: dreamingforward@gmail.com
> To: types-list@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

Back to comp.lang.python | Previous | Next | Find similar | Unroll thread

Thread

RE: [TYPES] The type/object distinction and possible synthesis of OOP and imperative programming languages Moez AbdelGawad <moezadel@outlook.com> - 2013-04-19 01:09 -0500

csiph-web