Suggested Reading for High Level Programming Languages

Some papers you might find interesting.

• C. A. R. Hoare. “An axiomatic basis for computer programming”. Communications of the ACM, 12(10):576-580,583 October 1969. doi: 10.1145/363235.363259
• Philip Wadler. Proofs are Programs: 19th Century Logic and 21st Century Computing. Technical report. November 2000. Retreived from author’s site on February 17, 2013.
• Yoshihiko Futamura. Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler. Higher-Order and Symbolic Computation 12, 381-391 (1999). pdf
• Eric Allen, David Chase, Christine Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr. Project Fortress: A Multicore Language for Multicore Processors. Linux Magazine, September 2007.
• The Cascade High Productivity Language. David Callahan, Bradford L. Chamberlain, Hans P. Zima. In 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS 2004), pages 52-60. IEEE Computer Society, April 2004.
• Sebastian Burckhardt and Daan Leijen, Semantics of Concurrent Revisions, in European Symposium on Programming (ESOP’11), Springer Verlag, Saarbrucken, Germany, March 2011
• Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, and Thomas Ball, Two for the Price of One: A Model for Parallel and Incremental Computation, in Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA’11), ACM SIGPLAN, Portland, Oregon, 22 October 2011
• Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, and Benjamin P. Wood, Cloud Types for Eventual Consistency, in Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP), Springer, 15 June 2012
• Abdulaziz Ghuloum. An Incremental Approach to Compiler Construction. Proceedings of the 2006 Scheme and Functional Programming Workshop. University of Chicago Technical Report TR-2006-06.

• The 2014 symposium on Principles of Programming Languages

Links to other sites that hold lists of papers

• Functional Pearls
• The Original ‘Lambda’ Papers

• Lambda the Ultimate blog. Especially the list of programming language papers.

• History of logic and programming languages

• Papers on Chapel

• Proceedings of the Scheme and Functional Programming COnference 2006

• C++14 standardization papers

• N. D. Jones, C. K. Gomard, P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993. Book page.

• C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. Book page