10PL

KO | EN

gitlite — search

#python #hacktoberfest #react #ai #golang #go #android #rust #deep-learning #kubernetes #security #mcp #ios #openai

(★ 944)

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

파일 탐색기

최종 버전 다운로드 (.zip)

mf-s-list.md
README.md
spill.md

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# 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

10PL

파일 탐색기

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

10PL

파일 탐색기

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README