Lambda links to a
posting by Schemer Matthias Felleisen about the usefulness of formal semantics in building programming language systems. As an aside,
The Types Forum looks like a great resource. It’s moderated by the author of what I’ve heard is an excellent new
types book.
