Tuesday, November 19, 2002

The Point of (Any) Semantics

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.

Comments RSS · Twitter

Leave a Comment