Shriram Krishnamurthi

computer scientist

• How to Design Programs, Second Edition
• Compiler Construction
• How to Design Programs: An Introduction to Programming and Computing (MIT Press)
• Practical Aspects of Declarative Languages
• Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering