Shriram Krishnamurthi
Goals
— re-engineering the semantics of existing languages
— why it matters
— how to go about it
— some experiences
Please download Shriram’s slides for an overview of the idea.