Abstract Heresies

I had hoped to write a bit more about the Advanced Symbolic programming course, but ILC '09 is coming up soon and there is work to be do...

Propagator networks are a pain to program. You have to break up your problem into a set of computation nodes, allocate cells for intermedia...

Suppose we are writing a chess playing program where each move is computed by a non-deterministic process that was implemented as a search w...

The next part of the talk was given by Alexey Radul, a graduate student of Gerry's. Alexey described propagator networks. The idea is ...

I've got to stop thinking that I must complete, polish and edit before posting to a blog. The reason I started one is so I could publis...

Again, we covered some more material that I'm passingly familiar with and I think a lot of Lisp and Scheme hackers would find familiar a...

The term ad hoc is a Latin phrase meaning ‘for this purpose’. In 1967, Christopher Strachey used the term to differentiate the kind of pol...