Title: Operational semantics and polymorphic type inference
Subjects: Programming languages (Electronic computers), Semantics