Implementations of various type systems in OCaml.

Program Synthesis

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

Code of "A Naive Rust Tutorial"

“连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

🇨🇳 《JavaScript 二十年》中文版

Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

outline and links for PLDI 2022 tutorial

Rust for C++ programmers

Writing Interpreters in Rust: a Guide

Teaching and Learning Software Analysis via SVF