2017-Where do Type Systems Come From?: In short, type theory was developed to be an alternative to set theory as the foundation of mathematical proofs in symbolic logic due to its ability to solve some contradictions stemming from naive set theory.
A Brief Totally Accurate History Of Programming Languages: One Hundred Percent Inspired by Facts.
Luna: Luna is an expressive, minimalistic, elegant programming language implemented in C. With cooperative thread concurrency at its core, async IO, and influences derived from languages such as Lua, io, Rust, Ruby, and C.
2017-awesome-compilers #Collection#: A curated list of awesome resources on the theory and construction of Compilers, Interpreters and Runtimes.
PLT #Collection#: A path to Programming Language Theory enlightenment.
Collection of cheat sheets for programmers #Collection#: Even the most experienced programmers aren’t able to remember all CSS properties or a correct way to write all commands. That’s why it’s always useful to have a cheat sheet at hand in the bookmarks of a browser.
2012-Learning SICP #Course#: MIT 视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
2016-History of Programming Languages, Spring '17 Edition #Course#:The primary goal is to understand (some of) the discipline as it exists today and how some of its major themes evolved. Initially, the seminar will focus on themes that NUPRL faculty members have developed over the many decades of their careers. The choice of other themes will depend on students’ interests and preferences. The secondary goal is to develop basic skills for understanding and describing research themes. Every student will learn to study a theme via a series of papers, prepare an annotated bibliography, and present the key steps in the evaluation of the theme.
2013-Tim Stuart-Understanding Computation #Book#: You can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you'll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming.
2018-How to Design Programs #Book#: Program design—but not programming—deserves the same role in a liberal-arts education as mathematics and language skills.
2018-Interactive SICP n.: Interactive Structure and Interpretation of Computer Programs. Online version of SICP with a built-in scheme interpreter to allow readers to edit and run the code embedded in SICP.
2019-Elements of Programming #Book#: This book applies the deductive method to programming by affiliating programs with the abstract mathematical theories that enable them to work.
Tweag Blog #Blog#: 包含了很多对于类型的讨论。
2012-The Garbage Collection Handbook #Book#: The book addresses new challenges to garbage collection made by recent advances in hardware and software.