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