15312 Foundations Of Programming Languages Fixed -

Feature: Type Inference with Parametric Polymorphism

Examinations (40%–50%)

: Usually includes a midterm (approx. 20%) and a comprehensive final exam (approx. 25%–30%).

Unified Framework

: Rather than surveying popular languages, the course uses a single mathematical framework (judgments and derivations) to explain diverse paradigms, including functional, imperative, and concurrent programming. 15312 foundations of programming languages

• Pierce, B. C. (2002). Types and programming languages. MIT Press.
• Harper, R. (2016). Programming languages: Theory and practice. Cambridge University Press.
• Schmidt, D. C. (2006). Design patterns: Elements of reusable object-oriented software. Addison-Wesley Professional.

Commit Message:

feat: Add type inference with parametric polymorphism Pierce, B