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.
Links to other sites that hold lists of papers
Lambda the Ultimate blog. Especially the list of programming language papers.
Proceedings of the Scheme and Functional Programming COnference 2006
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
Most recent change: 2013/4/5 at 08:18
Generated with GTML