Tuesday, November 19, 2002 [Tweets] [Favorites]

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

Stay up-to-date by subscribing to the Comments RSS Feed for this post.

Leave a Comment