0.00 2006-07-15 -13:22 -0700 |
An abiding interest of mine is in the connections among language, logic, and computation. My work on the Miser Project and postings on Numbering Peano are all related to that. To get more involved and find some spirits with kindred interest, I have been looking for local organizations to engage with.
At Seattle MindCamp 2.0 at the end of April, 2006, I led a roundtable discussion on "Programming Languages: In the Beginning." As the result of my off-hand remark about having worked with Peter Landin, I discovered that Conal Elliott was also into functional programming and other aspects of programming language theory. Conal told me about SeaFunc, the Seattle Functional Programming group, and we agreed to attend a future meeting.
I wanted to use the SeaFunc meetings as calendar markers for moving ahead in my own researches in this area. I have gone on record as wanting to do that. Then I missed a meeting and have gone dark on them. This folio is my redress about that. I have some photos to share and I will do that. How I restore my promise to move ahead on Miser and Numbering Peano will be found on those pages.
- 2006-06-06: SeaFunc Meeting
- 2006-05-16: SeaFunc Meeting
- V060601d: 2006-06-06 SeaFunc Meeting
- V060601c: 2006-05-16 SeaFunc Meeting
- V060601a: Diary and Job Jar
|
You are navigating Orcmid's Lair |
created 2006-06-30-13:10 -0700 (pdt) by orcmid |