University of California, Berkeley: Paul Hilfinger's "Introduction to Runtime Organization"
Read these notes. In this presentation, IR is treated as part of code generation, and it has a lot of detail on the run-time encoding for procedures and functions.
Click http://web.archive.org/web/20160502163209/http://inst.eecs.berkeley.edu/~cs164/sp11/lectures/lecture25.pdf link to open resource.