CISC-465 * /0.5 Foundations of Programming Languages 3L

Syntax and semantics. Classification of programming languages. The language of while programs. The typed lambda calculus. Recursive definitions and domain theory. PREREQUISITES


There are no comments for this course.