Cognitive Architectures: A Way Forward for the Psychology of Programming

This describes an interesting attempt to formalize comparison of programming languages from point of view of cognitive psychology. There are also some some interesting references from the presentation.

This is sort-of the reverse of why I've got into PLT. My main interest is in AI and inductive programming, and I've been teaching myself PLT as an approach to narrowing-down the search space (eg. via strong typing) and composing partial solutions in a sane way (eg. concatenative languages, monadic sequencing of pure computations, etc.).

I'm in the 'AI as a problem solver' camp, rather than the 'AI as a model of the human mind' camp, but it's always interesting to see crossovers like this.