Lambda the Ultimate

1) "Composition Systems"

-- I want to post a front-page story, and the best tag for it isn't available.

2) "Internet-Scale Programming"

-- becoming popular in ICSE, and PLT researchers also seem interested in this, perhaps if only for $$ funding.

<edit>: more relevant than the paper i originally posted below are comparisons of TRIZ vs. Axiomatic Design.</edit>

ok, not super PLT, but perhaps interesting given recent re-mentioning of TRIZ here on LtU: an experience report on Axiomatic Design used with TRIZ (though really more about the former than the latter).

An innovative freshman design course at KAIST is using Axiomatic Design Theory, along with traditional product design and TRIZ, to improve the students’ ability to think independently, consciously, rationally, and synthetically.