Run-time systems Run-time systems refer to the development of programming language runtime environments and their components, including virtual machines, garbage collection, and foreign function interfaces. Journals, publications, and conferences Conferences are the primary venue for presenting research in programming languages. The most well known conferences include the Symposium on Principles of Programming Languages (POPL), Programming Language Design and Implementation (PLDI), the International Conference on Functional Programming (ICFP), the International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) and the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Notable journals that publish PLT research include the ACM Transactions on Programming Languages and Systems (TOPLAS), Journal of Functional Programming (JFP), Journal of Functional and Logic Programming, and Higher-Order and Symbolic Computation. See also SIGPLAN Timeline of programming languages Very high-level programming language References Further reading Abadi, Martín and Cardelli, Luca. A Theory of Objects. Springer-Verlag. Michael J. C. Gordon. Programming Language Theory and Its Implementation. Prentice Hall. Gunter, Carl and Mitchell, John C. (eds.). Theoretical Aspects of Object Oriented Programming Languages: Types, Semantics, and Language Design. MIT Press. Harper, Robert. Practical Foundations for Programming Languages. Draft version. Knuth, Donald E. (2003). Selected Papers on Computer Languages. Stanford, California: Center for the Study of Language and Information. Mitchell, John C. Foundations for Programming Languages. Mitchell, John C. Introduction to Programming Language Theory. O'Hearn, Peter. W. and Tennent, Robert. D. (1997). Algol-like Languages. Progress in Theoretical Computer Science. Birkhauser, Boston. Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. Pierce, Benjamin C. Advanced Topics in Types and Programming Languages. Pierce, Benjamin C. et al. (2010). Software Foundations. External links Lambda the Ultimate, a community weblog for professional discussion and repository of documents on programming language theory. Great Works in Programming Languages. Collected by Benjamin C. Pierce (University of Pennsylvania). Classic Papers in Programming Languages and Logic. Collected by Karl Crary (Carnegie Mellon University). Programming Language Research. Directory by Mark Leone. λ-Calculus: Then & Now by Dana S. Scott for the ACM Turing Centenary Celebration Grand Challenges in Programming Languages. Panel session at POPL 2009.