| Title | Author | Location | Call Number | Availability |
| Introduction to the theory of programming languages | Meyer, Bertrand, | Checking . . . |
QA76.7 |
Checking . . . |
| Elements of ML programming (ML97 ed.) | Ullman, Jeffrey D., | Checking . . . |
QA76.73.M6 |
Checking . . . |
| Advanced programming language design | Finkel, Raphael A. | Checking . . . |
QA76.7 |
Checking . . . |
| Introduction to the theory of programming languages | Bertrand, Meyer | Checking . . . |
QA 76.7 .M49 1991 PC |
Checking . . . |
Last updated 10-25-2025 12:07 am