An Overview of Theories of Programming Languages

2018-10-26
TPL

Progress

TODO:

ONGOING: PLP CSAPP CTMCP

Roadmap

  1. Concepts of Programming Language: (SF(2018) |TOPL | PFPL) > EOPL(2014) & CSAPP(2016) & CTMCP(2018)
  2. Programming Language Design and Compiler: PLP
  3. Mathematical Foundation: COPL(2019)
  4. Type Systems & Type Theory: TAPL(2019) & Advanced TAPL(2020) & HoTT(2019)
  5. Formal Semantics: LCISS(2019) & FSPL(2020) & FFPL(2019)
  6. Abstract Algebra: Abstract Algebra, The Basic Graduate Year(2019)
  7. Category Theory: Category Theory A Gentle Introduction(2019)
  8. Lambda Calculus: LCISS(2019) > PLLC(2022) | LCAC
  9. Process Algebra: ITPA(2020)
    • Pi-Calculus: An Introduction to the pi-Calculus
    • CPS:Communicating Sequential Processes
  10. Recursive Theory and Recursive Functions: Theory of Formal Systems & COMPUTABILITY, An introduction to recursive function theory(2019)

Comments

CONTENT