Theoretical texts
Maarten Maartensz
maartens at xs4all.nl
Thu Sep 27 09:32:14 UTC 2001
L.S.
I am new to Squeak (since July) and should like to recieve references to
texts that address foundational issues of
- Smalltalk
- Self
- Blockclosures (and Lambda-calculus)
on a fairly sophisticated level, especially if these texts were written
with reference to and knowledge of mathematical logic.
I have read the Blue Book and other introductions, but these do not answer
most of the questions I'd like to see discussed, such as e.g. the relation
between lambda-calculus and blockclosures.
Probably, the sort of stuff I am most interested in would be on line
Ph.D.-theses that concern aspects of smalltalk and have been written by
mathematical people.
Incidentally, on my site I have been uploading over the last months some of
my impressions of Squeak (section Computing).
Regards,
Maarten Maartensz.
Website in Holland about philosophy, logic, M.E. (Myalgic
Encephalomyelitis) and much more:
http://www.xs4all.nl/~maartens/
More information about the Squeak-dev
mailing list
|