Table of Contents for Programming Languages: a survey

Part :

Other resources about programming languages

Courses

• http://www.cs.man.ac.uk/~pjj/cs211/ho/ho.html
• http://www.cse.scu.edu/~rdaniels/html/courses/Coen171/RawPowerpoint.htm
• http://www.cse.scu.edu/~rdaniels/html/courses/Coen171/Projects.htm
• http://homepage.cs.uiowa.edu/~jones/compiler/spring13/notes/index.shtml
• http://lambda-the-ultimate.org/node/2
• https://www.coursera.org/course/proglang
• http://people.cs.pitt.edu/~mock/cs2210/
• http://cs.brown.edu/courses/cs173/2015/assignments.html
• http://www.cs.mcgill.ca/~cs520/2015/
• https://news.ycombinator.com/item?id=15005384
• https://lagunita.stanford.edu/courses/Engineering/Compilers/Fall2014/about
• https://jeapostrophe.github.io/courses/2017/spring/406/notes/book.pdf
• https://groups.seas.harvard.edu/courses/cs153/2019fa/schedule.html
• http://openclassroom.stanford.edu/MainFolder/CoursePage.php?course=Compilers
• https://www.coursera.org/learn/programming-languages

Lists of books

• lists of books about programming: https://news.ycombinator.com/item?id=6533997 https://github.com/vhf/free-programming-books/blob/master/free-programming-books.md
• the links from the Wikipedia programming language entry

Books

• Abelson, Sussman, and Sussman, Structure and Interpretation of Computer Programs
  • http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-001-structure-and-interpretation-of-computer-programs-spring-2005/lecture-notes/
  • interactive SICP
• http://htdp.org/ (?)
• Introduction to Programming Languages by Anthony A. Aaby
• Term Rewriting and All That rec. for understanding first-order unification by [1]
• http://www.craftinginterpreters.com/
• https://pragprog.com/book/tpdsl/language-implementation-patterns
• https://interpreterbook.com/
• https://leanpub.com/create_languages
• http://beautifulracket.com/
• http://buildyourownlisp.com/
• https://www.amazon.com/Retargetable-Compiler-Design-Implementation/dp/0805316701
• Engineering a Compiler
• Symbolic Processing In Pascal by Professor Manfred von Thun
• https://en.wikipedia.org/wiki/Compilers:_Principles,_Techniques,_and_Tools
• https://www.amazon.com/Types-Programming-Languages-MIT-Press/dp/0262162091
• Programming Languages Hardcover – January 1, 1990 by Samuel N. Kamin
• Principles of Program Analysis by Flemming Nielson, Hanne R. Nielson, Chris Hankin (rec. by https://news.ycombinator.com/item?id=26652445 )
• Introduction to Static Analysis: An Abstract Interpretation Perspective By Xavier Rival and Kwangkeun Yi (rec. by https://news.ycombinator.com/item?id=26652445 )
• Compiler Design in C by Allen I. Holub
• Programming Language Pragmatics by Michael L. Scott (rec. by https://news.ycombinator.com/item?id=26652952]
• "The book "The AWK Programming Language" by Aho, Weinberger and Kernighan is a real gem. Chapter 6 is "Little Languages", it shows you how to write interpreters and compilers using AWK. In particular it even shows how to start a bootstrap: you write a compiler to a subset of AWK that writes down C code. You don't need to read all the 5 chapters before, only Chapter 1 is enough." [2]
• https://www.pearson.com/us/higher-education/program/Brown-Programming-Language-Processors-in-Java-Compilers-and-Interpreters/PGM308089.html
• https://en.wikipedia.org/wiki/Essentials_of_Programming_Languages
  • rec.'d by https://lobste.rs/s/ewxw1i/less_technical_introductions_type#c_7xty6b : "It is a programming language textbook. Its implementation language is Scheme. It includes a full, straightforward (“textbook”) implementation of type checking and type inference for a simple imperative language and extend it to a simple object-oriented language. It does unification and also supports subtyping, so it’s not trivial."
• Programming Language Pragmatics by Michael L. Scott
  • rec.'d by http://venge.net/graydon/talks/VectorizedInterpretersTalk-2023-05-12.pdf

" Ghuloum’s “An Incremental Approach to Compiler Construction” and Xavier Leroy’s “The ZINC Experiment - An Economical Implementation of the ML Language” are excellent resources right up there with Queinnec’s LiSP?. Essentials of Programming Languages is an excellent textbook as well.

Also, Sestoft’s “Programming Language Concepts” covers the basics (using F#). Looks like there is a newer edition as well.

The Loko Scheme author has a bunch of interesting posts on his scheme internals (e.g: the runtime value representation).

btw @eatonphil, thanks for saving a copy of “One-pass Code Generation in V8”. " -- https://lobste.rs/s/9kp1z4/favorite_compiler_interpreter#c_frptq2

Forums and wikis

• http://lambda-the-ultimate.org/
  • design docs
  • quotations
  • genealogy of programming languages
• https://www.reddit.com/r/ProgrammingLanguages/
• http://www.reddit.com/r/types/top/?sort=top&t=all
• http://www.reddit.com/r/functionalprogramming/top/?sort=top&t=all
• http://progopedia.com/
• https://plforums.org/
• https://proglangdesign.net/wiki/
  • https://proglangdesign.net/wiki/reading-list
  • https://proglangdesign.net/wiki/resources
  • https://github.com/proglangdesign/wiki

Conferences

• http://emerginglangs.com/ (ELC)
• http://www.future-programming.org/ (FPW)
• https://thestrangeloop.com/
• PLDI: ACM Programming Language Design and Implementation
• POPL: ACM Principles of Programming Languages
• ICFP: ACM International Conference on Functional Programming
• Splash
• Onward
• PPoPP?
• HOPL
• Lists:
  • http://www.sigplan.org/conferences/main
  • http://academic.research.microsoft.com/RankList?entitytype=3&topdomainid=2&subdomainid=24&last=0
  • http://en.wikipedia.org/wiki/Category:Programming_languages_conferences
  • https://www.cs.cmu.edu/~mleone/language/conferences.html
  • http://www.wikicfp.com/cfp/call?conference=programming%20languages

Lists of favorite papers

• www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL?.shtml
• http://lambda-the-ultimate.org/papers
• http://www.mendeley.com/disciplines/computer-and-information-science/programming-languages/
• SIGPLAN CACM Research Highlights Nominated Papers
• lists by individuals:
  • http://www-cs-faculty.stanford.edu/~uno/cl.html
  • http://www.cs.cmu.edu/~crary/819-f09/
  • http://www.cs.cmu.edu/~./aldrich/papers/classic/
    • see also http://www.reddit.com/r/programming/comments/2efpjp/classic_papers_in_programming_languages_and_logic/
  • http://valbonneconsulting.wordpress.com/2014/06/09/an-incomplete-list-of-classic-papers-every-software-architect-should-read/
  • http://blog.fogus.me/2011/09/08/10-technical-papers-every-programmer-should-read-at-least-twice/
    • comments: https://news.ycombinator.com/item?id=8775375 , https://news.ycombinator.com/item?id=2979458 , https://news.ycombinator.com/item?id=3382962
• http://people.ku.edu/~nkinners/LangList/Extras/refs.htm
• http://findpaperswelove.com/#!/search?c=plt
• http://lambda-the-ultimate.org/papers
• Lambda The Ultimate: Getting Started

Journals

• Computer Languages, Systems & Structures
  • what else? i don't think this is necessarily the top journal, it's just a random journal that i saw randomly

Collections of comparisons of programming languages

• http://en.wikipedia.org/wiki/Comparison_of_programming_languages
• http://en.wikipedia.org/wiki/Category:Programming_language_comparisons
• https://en.wikipedia.org/wiki/List_of_programming_languages_by_type
• http://rosettacode.org/wiki/Rosetta_Code
  • http://rosetta.alhur.es/
• https://news.ycombinator.com/item?id=1952488
• http://hyperpolyglot.org/
• https://github.com/bfontaine/Katas
• https://github.com/seaneshbaugh/rosetta-euler
• http://learnxinyminutes.com/ ?
• http://rigaux.org/language-study/syntax-across-languages/
• http://rigaux.org/language-study/
  • also some links within http://rigaux.org/links.html
• http://exercism.io/ ( https://github.com/exercism/x-api/tree/master/problems )
• http://langref.org/
• https://github.com/eatonphil/lisp-rosetta-stone
  • https://lobste.rs/s/j15tds/lisp_implementation_rosetta_stone_java

Lists of programming languages

• https://github.com/prathyvsh/pl-catalog
  • discussion: https://lobste.rs/s/opo8ov/programming_languages_for_enthusiasts
• https://proglangdesign.net/
• https://github.com/ChessMax/awesome-programming-languages
• http://www.math.bas.bg/bantchev/place/languages.html
• https://en.wikipedia.org/wiki/Lightweight_programming_language

Blogs

• http://www.pl-enthusiast.net/a

REPLs

• https://repl.it (has multiuser option btw)
• https://gist.github.com/danprince/0f4a200319c95209c9c028b2968847df
• https://tio.run/
  • https://github.com/TryItOnline

Introductory overviews

https://increment.com/programming-languages/crash-course-in-compilers/

Books

• http://craftinginterpreters.com/

Misc

• Try It Online (TIO), a site that lets you enter and run code in many languages
• repl.it
• Create Your Own Programming Language
• Super Tiny Compiler
• https://github.com/dbohdan/embedded-scripting-languages
• http://www.oilshell.org/cross-ref.html , from a project to create a new shell language, contains various language implementation tools and concepts
• https://en.wikipedia.org/wiki/Template:Program_execution
• https://bootstrapping.miraheze.org/wiki/Main_Page
• CSC347 - Concepts of Programming Languages by Glenn A. Lancaster
• https://news.ycombinator.com/item?id=26925934
• "Cooper's and Torczon's "Engineering a Compiler (2nd Edition)" rec. by https://news.ycombinator.com/item?id=26925834
• https://holub.com/compiler/ rec. by https://news.ycombinator.com/item?id=26926145
• https://news.ycombinator.com/item?id=26927708 "ProTips? after writing numerous kinds of compilers in university: Recursive descent with backtracking is much easier to construct and maintain for diagnostics than bison/flex. Derivative parsing is very interesting."

Other lists of links

• https://en.wikipedia.org/wiki/Programming_language_theory#Further_reading
• https://en.wikipedia.org/wiki/Programming_language_theory#External_links
• https://en.wikipedia.org/wiki/Comparison_of_programming_languages
• https://en.wikipedia.org/wiki/Programming_paradigm
• Dictionary of Programming Languages
• https://devfreebooks.github.io/
• https://github.com/vhf/free-programming-books
• http://hexopress.com/@joe/blog/2019/04/14/awesome-compiler-resources/
• https://c9x.me/compile/bib/
• https://twitter.com/munificentbob/status/901543375945388032
• https://lists.eatonphil.com/compilers-and-interpreters.html

todos and random papers

these papers or links are not necessarily good! most of them i haven't even looked at yet

http://thecorememory.com/Programming_Languages_-_Sammet.pdf

http://www.infoworld.com/article/2606431/application-development/155797-10-prominent-features-stolen-by-Apple-s-Swift-and-where-they-came-fro.html

• http://www.paulgraham.com/fix.html

https://en.wikipedia.org/wiki/Cognitive_dimensions_of_notations

http://progopedia.com/

http://www.math.bas.bg/bantchev/place/languages.html http://www.math.bas.bg/bantchev/place/index.html http://www.math.bas.bg/bantchev/place/rpn/rpn.impl.html

https://programminglanguages.info/

https://wiki.theory.org/YourLanguageSucks

https://www.google.com/search?q=vm+tiny+virtual+machine+compiler+book

https://bernsteinbear.com/pl-resources/

https://www.reddit.com/r/ProgrammingLanguages/top/?t=all

http://janvitek.org/pubs/toplas19.pdf https://lobste.rs/s/mlravq/on_impact_programming_languages_on_code

https://github.com/hemanth/functional-programming-jargon https://news.ycombinator.com/item?id=31944352 https://lobste.rs/s/i7ejy1/jargon_from_functional_programming

"

https://www.sigplan.org/Awards/Software/