Lambda the Ultimate

I recently came to use CiteUlike through LtU, and it has become an invaluable resource for me in keeping my readings organized. For those of you who haven't heard of it yet, CiteULike is a bibliography tracking tool that allows you to organize your material using tags and automatically creates BibTex entries from web pages.

When it was first brought up on LtU four years ago, the poster mentioned the idea of starting a CiteULike group for LtU. I don't know why this idea didn't get any traction, but I think it would be great to start that group now. This would make it much easier for LtU'ers to catalog and reference all the great papers that have been referenced here over the years. CiteULike groups can even be moderated (somewhat), if that's preferable.

So, is anyone interested?

Here is the source code and some documentation for my tiny implementation of a toy ML like language. Of interest is the fact that it does polymorphic type checking by first converting expressions in the full abstract syntax to combinator expressions. One of my goals with this program was to make it totally self contained, so it does not use lex or yacc. Check it out:

Visit the TinyML page