15-411 Compiler Design
Lecture 22: Parametric Polymorphism

• Reading: Ch 16.1-16.2
• Concepts:
  • Polymorphic data structures
  • Polymorphic functions
  • Type inference via saturation
  • Boxed vs unboxed representation
• Previous lecture: Low Level Virtual Machine
• Next lecture: Code Hoisting

[ Home | Schedule | Labs & Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Blackboard | academic.cs.15-411 ]

fp@cs
Frank Pfenning