编程语言 ​

类型系统、编译器、程序分析、形式化与语言设计。

翻译状态 ​

本页面的中文版本尚未提供。完整内容（《Programming Languages》）请参阅 Programming Languages（English）。

如果你愿意协助翻译本页（保留链接、表格、参考文献格式），欢迎在 GitHub 仓库 提交 PR。