How to Design Programs, Second EditionMatthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi · First published 2018Open the Tome
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and EngineeringShriram Krishnamurthi · First published 2008Open the Tome
Practical Aspects of Declarative LanguagesShriram Krishnamurthi, C.R. Ramakrishnan · First published 2003Open the Tome
