We're still actively developing this site. If you encounter any issues, please report them! - Report an issue

PRINCIPLES OF PROGRAMMING LANGUAGES

COMPSCI 704
Course Description

Introduction to principles of advanced programming languages and programming-language theory. Topics include: lambda-calculus, functional languages, polymorphic functions, type inference, structural induction, lazy evaluation, operational semantics, denotational semantics, and axiomatic semantics. Students are strongly encouraged to have knowledge of programming languages, such as fromCOMP SCI 536.

Prerequisties

Graduate/professional standing

Satisfies

This course does not satisfy any prerequisites.

Credits

3

Offered

Occasionally

Grade Point Average
3.81

5.8% from Historical

Completion Rate
100%

2.4% from Historical

A Rate
62.96%

7.29% from Historical

Class Size
27

52.11% from Historical

2025 Fall Grade Distribution

Instructors (2025 Fall)

Sorted by ratings from Rate My Professors

Similar Courses

LEARNING A PROGRAMMING LANGUAGE

COMPSCI 368

For students interested in learning a particular programming language. Focuses on a specific language offered at one of three levels: beginner, intermediate, and advanced. Students may repeat the course if the topic title is different.

INTRODUCTION TO PROGRAMMING LANGUAGES AND COMPILERS

COMPSCI 536

Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques. Several programming projects required.

INTRODUCTION TO THEORY OF COMPUTING

COMPSCI 520

Basics about the notion, capabilities, and limitations of computation: elements of finite automata and regular languages, computability theory, and computational complexity theory. Additional topics include context-free grammars and languages, and complexity-theoretic cryptography.

INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES

COMPSCI 538

Design and theory of programming languages: procedural, object-oriented, functional and logic paradigms. Serial and concurrent programming. Execution models and formal specification techniques.

CONSTRUCTION OF COMPILERS

COMPSCI 701

Principles of the design and implementation of programming languages. Topics include: Principles of compilation, static program analysis, compilation methods to support profiling, and code-generation methods. Knowledge of programming languages and compiler design strongly encouraged, such asCOMP SCI 536.