Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/nuprl/10PL

10 papers that all PhD students in programming languages ought to know, for some value of 10
https://github.com/nuprl/10PL

Last synced: 3 months ago
JSON representation

10 papers that all PhD students in programming languages ought to know, for some value of 10

Awesome Lists containing this project

README 

        
# 10PL

10 papers that all PhD students in programming languages ought to know, for some value of 10



What

----



Programming language researchers investigate the analysis, design,

implementation, and evaluation of programming languages. Our goal 

is that the papers come from all of these areas. 



Why

---



A paper makes it on this list if one of us proposes the paper and none of

the others disagrees.



A paper may make it on the list if it is a milestone in the intellectual

history of programming languages, if it is a good paper, and if its ideas

are still good today. 



A paper may make it on the list if it covers an area particularly well. 



A paper may make it on the list if a PhD student in PL should know about

this topic---even if it is outside of the confines of PL. 



A paper on this list may not be *not* essential to obtaining a PhD in

PL. It is unlikely to introduce you to modern ways of dealing with a

topic. It is unlikely to be fashionable. It is improbable that you will

cite it in your dissertation. But, all of us consider it worth your

while. Reading it is good for your soul. 



The List of Papers 

------------------



[listed in alphabetical order of the first author's last name]



L. Cardelli.

Type systems. 

Handbook of Computer Science and Engineering, 1997, 2208-2236.

[url](http://lucacardelli.name/papers/typesystems.pdf)



C. Chambers and D. Ungar.

Customization: Optimizing Compiler Technology for SELF, 

a Dynamically-typed Object-oriented Programming Language.

PLDI 1989, 146--160.

[url](http://dl.acm.org/citation.cfm?id=74831)



P. Cousot and R. Cousot.

Abstract interpretation: a unified lattice model for static analysis of

programs by construction or approximation of fixpoints. 

Principles of Programming Languages, 1977, 238--252.

[url](http://dl.acm.org/citation.cfm?id=512973)



C.A.R. Hoare.

An axiomatic basis for computer programming. 

Communications of the ACM, 1969, 12(10), 576-–580.

[url](http://dl.acm.org/citation.cfm?id=363259)



C.A.R. Hoare.

Proof of correctness of data representations.

Acta Informatica, 1972, 1, 271--281.

[url](http://link.springer.com/article/10.1007%2FBF00289507#page-1)



G.A. Kildall

A Unified approach to global program optimization.

Principles of Programming Languages, 1973, 194--206.

[url](http://dl.acm.org/citation.cfm?id=512945)



P.J. Landin 

The next 700 programming languages. 

Communications of the ACM, 1966, 9(3), 157--166.

[url](http://dl.acm.org/citation.cfm?id=365257)



J.H. Morris, Jr. and Ben Wegbreit.

Subgoal induction.

Communications of the ACM, 1977, 20(4), 209--222.

[url](http://dl.acm.org/citation.cfm?id=359466)



G. Morrisett, D. Walker, K. Crary, and N. Glew.

From system F to typed assembly language.

Transactions on Programming Languages and Systems, 1999, 21 (3), 527--568.

[url](http://dl.acm.org/citation.cfm?id=319345)



D.L. Parnas

On the criteria to be used in decomposing systems into modules.

Communications of the ACM, 1972, 15(12), 1053--1058.

[url](http://dl.acm.org/citation.cfm?id=361623)



G.D. Plotkin.

Call-by-name, call-by-value, and the λ-calculus.

Theoretical Computer Science 1 (1975), 125--159.

[url](http://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf)



----

## changelog

* Tue Oct 20 23:06:27 EDT 2015 " added Amal's "white ball"

* Tue Oct 20 21:13:13 EDT 2015 " added "modules", removed "Reynolds" based

on discussion by Amal, Olin, and Matthias; added Olin's choices 

* Tue Oct 20 16:59:02 EDT 2015  " added Mitch's suggestions 

* Fri Oct 16 12:47:38 EDT 2015  " added Will's suggestions 

* Fri Oct 16 09:48:17 EDT 2015 Matthias creates and populates the

repository with Amal's, Jan's, and his own ideas