## First Pass | Page/Line | Original text | Correct Text or Issue | -------- | -------- | -------- | 1/30 | "of PhD. theses." | "of PhD theses." (no dot after PhD) | 4/151-184| | forward citations should all be hyperlinked | 9/437 | "The _Polymorphism_ newsletter" | "_Polymorphism -- The ML/LCF/Hope Newsletter_" | 9/438 | "http://lucacardelli.name/indexPapers.html" | "http://lucacardelli.name/indexPapers.html#Polymorphism%20-%20The%20ML/LCF/Hope%20Newsletter" | 9/438 | "http://sml-family.org/polymorphism" | Link is 404 | 12/567 | "Milner’s response was reported by Wadsworth as follows" | Needs citation | 15/722 | "SMLNJ" | "SML/NJ" | 16/745 | "systems written in SML A core group" | period after "SML" | 17/804 | "Bertrand Russel" | "Bertrand Russell" (double L) | 18/878 | "pulished 24 years later" | "published 24 years later" | 18/880 | "Colosus" | "Colossus" | 18/881 | "newman’s algorithm" | "Newman’s algorithm" | 19/911 | "untyped lambda calculus$^{27}$," | note no. should be after the comma | 20/961 | "Datatypes can have parameters, and so define type operators" | "Datatypes can have parameters, and so can type operators" (unsure) | 20/961 | "(like list as well as simple types." | "(like list as well as simple types)." (closing paren) | 23/1114 | "The basic principles behind the design are" | "The basic principles behind the design are:" (colon) | 23/1120 | "rôle" | "role" | 23/1135 | "Landin’s Correspondence Principle" | Needs citation | 28/1342 | "The Evolution Module Design" | "The Evolution of Module Design" | 32/1522 | "Here are the new ingredients added in this second module proposal." | "Here are the new ingredients added in this second module proposal:" (colon instead of period) | 33/1584 | "contintued through" | "continued through" | 33/1605 | "_Module innovations in SML/NJ 0.93_" | italicized "SML/NJ" looks weird in the font, perhaps it should be styled differently throughout the paper | 33/1608 | "Definition." | "Definition:" (colon instead of period) | 33-34/1609-1631 | "Higher-order functors." and more | Since each of these bulleted changes begins with a heading (non-sentence), perhaps, they should be styled differently, e.g., italicized. | 35/1684 | "over the years." | "over the years:" (colon instead of period) | 46/2235 | "and technical detail." | "and technical detail:" (same) | 46/2239 | "as illiustrated" | "as illustrated" | 49/2400 | "Peter was one of the developers" | "Peter is one of the developers" (he is alive, so present tense) | 61/2950 | "<https://plato.stanford.edu/archives/fall2018/entries/type-theory/> " | "https://plato.stanford.edu/entries/type-theory/"