This is pretty fascinating stuff, despite the limitations and obvious bias of this article. Are there any Open Source libraries or papers which cover toy implementations of this sort of thing? (Assuming, of course, that it is not simply a bunch of if/else constructs applied to templates, which would be far less interesting.)