Errata for Advanced Functional Programming lecture notes 2016
February 8, 2016
Lambda calculus
• (p14) In the first paragraph
together with B under the type ∃𝛼 ∶∶ 𝐾.𝐴
was originally written
together with B under the type ∃𝛼 ∶∶ 𝐾.𝐵
• (p19) In the definition of List, there was a missing ⇒.
Type inference
• (p21) The statement
converse conversion 𝜙𝛽 → 𝜙𝛼
was originally written
converse conversion 𝜙𝛼 → 𝜙𝛽
• (p38) In the worked example of Algorithm J,
∀𝛼2, 𝛼3
was originally written
∀𝛼1, 𝛼2
1