| 译著 |
| TP312/276 | 程序设计语言基础, Ellis Horowitz著 裘宗燕译 北京 北京大学出版社，1990
|
| TP312/3257 | 编程语言 原理与范型，Allen B. Tucker, Robert E. Nooman著，李德龙译，清华大学出版社， 2008
|
| TP311.1/9 | 程序设计语言设计与实现, T.W. Pratt，M.V. Zelkowits著，傅育熙等译校，电子工业出版社 1998，2001
|
| TP312/2152 | 程序设计语言 概念和结构, Programming Languages Concept & Constructs (美) Ravi Sethi著 裘宗燕等译，塞西, R. (Sethi, Ravi) 著
|
| TP312/2881, 2881.2 | 程序设计语言原理, Concepts of programming languages (美) Robert W. Sebesta著 张勤译，谢拜什陶, R. W. (Sebesta, Robert W.) 著
|
| TP312/2792 | 程序设计语言 原理与实践, Programming languages principles and practice (美) Kenneth C. Louden著 黄林鹏 ... 等译，劳登, K. C. (Louden, Kenneth C.) 著
|
| TP301.2/6 | 程序设计语言的形式语义, The formal semantics of programming languages an introduction Glynn Winskel著 宋国新 ... 等译，温斯克尔, G. (Winskel, Glynn) 著
|
| TP311.11/39.1 | 程序设计语言 实践之路, Programming language pragmatics (美) Michael L. Scott著 裘宗燕译
|
| TP312/3035 | 程序设计语言理论基础, Foundations for programming languages (美) John C. Mitchell著 许满武 [等] 译
|
| TP312/2961 | 类型和程序设计语言, Types and programming languages (美) Benjamin C. Pierce著 马世龙, 眭跃飞等译
|
|
|
| 中文著作 |
| TP312/2921.1 | 程序设计语言理论，陈意云, 张昱，高等教育出版社，2010
|
| TP311/50 | 高级程序设计语言原理， 徐宝文编著，北京，航空工业出版社 1992
|
| TP312/464 | 程序设计语言结构 董 浩,安淑芝编 哈尔滨 哈尔滨船舶工程学院出版社，1992
|
| TP312/597 | 程序设计语言 童忠勇, Robert H Wen主编 南开大学出版社 1994
|
| TP312/887 | 函数程序设计语言 计算模型、编译技术、系统结构 郑纬民,周光明,田新民编著。北京
清华大学出版社 1997。丛编说明: 中国计算机学会学术著作丛书
|
| TP312/964 | 计算机程序设计语言原理 高集荣,田艳编著 西北工业大学出版社，1997
|
| 英文著作 |
| TP312/w3402 | Programming Languages Concept and Paradigms Divid
A. Watt Prentice Hall, 1990（这是Watt关于程序设计语言的三卷一套的著作中的一本。其另一本为（TP312/W34p）Programming
language syntax and semantics / David A. Watt, New York : Prentice Hall,
c1991.
|
| TP312/W34 | Programming language design concepts
Watt, David A. (David Anthony)
|
| TP312/Se21c3 | Concepts of Programming Languages, Robert W. Sebesta, Reading, Mass.: Addison-Wesley Pub. Co., 1996.
|
| TP312/Sco85 | Programming language pragmatics, Scott, Michael Lee
|
| TP312/W695.3 | Comparative programming languages
Wilson, Leslie B.
|
| TP312/M694c/2004 | Concepts in programming languages, Mitchell, John C.
|
| TP312/Se21c5 | Concepts of programming languages, Sebesta, Robert W.
|
| TP312/F914e2 | Essentials of programming languages, Friedman, Daniel P.
|
| TP312/M694 | Foundations for programming languages, Mitchell, John C.
|
| TP312/T0795 | Programming languages, Tucker, Allen B.
|
| TP312/Se75.2 | Programming languages : concepts and constructs, Sethi, Ravi
|
| TP312/T795p | Programming languages : principles and paradigms, Tucker, Allen B.
|
| TP312/L926.2 | Programming languages : principles and practice, Louden, Kenneth C.
|
| TP312/P889.4 | Programming languages : design and implementation, Pratt, Terrence W.
|
| TP312/P611 | Types and programming languages, Pierce, Benjamin C.
|
| TP3-5/L497/no.489 | Foundations of Object-Oriented Languages, J.W. de Bakker, W.P. de Roever, G. Rozenberg (Eds.)
|
| TP312/Ad95p(SX) | Advanced topics in types and programming languages Pierce, Benjamin C., 2005
|
| 两本文献汇编 |
| TP312-09/H629:2 | History of programming languages II （程序设计语言的历史II会议文集）, edited by T.J. Bergin, Jr. and R.G. Gibson, Jr. Bergin, J. Thomas ACM Press;
Reading, Mass.:Addison-Wesley Pub. Co., 1996.
|
| TP312/P944.3 | Programming
Languages: A Grand Tour，Ellis Horowitz 编辑的直至1982年的程序设计语言领域重要文献的文集（包括大约30篇文章），1982
|