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:
Maarten Maartensz maartens@xs4all.nl wrote:
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)
Have you read Abadi's Theory of Objects? I think that's the best there is right now. I don't know of anything specifically about Smalltalk, though admittedly I haven't looked REAL hard.
-Lex
On Monday 01 October 2001 13:08, Lex Spoon wrote:
Maarten Maartensz maartens@xs4all.nl wrote:
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)
Have you read Abadi's Theory of Objects? I think that's the best there is right now. I don't know of anything specifically about Smalltalk, though admittedly I haven't looked REAL hard.
This is pretty interesting:
http://www.wolczko.com/phd-abstract.html
-- Jecel
squeak-dev@lists.squeakfoundation.org