Operational semantics and polymorphic type inferenceby Mads TofteProgramming languages (Electronic computers)SemanticsWriting a summary for young readers…For young readersBook data: Open Library