@@ -66,10 +66,12 @@ in derivation {
6666
6767---
6868
69−[.text: text-scale(0.75)]
69+[.text: text-scale(0.55)]
7070
7171# Terms and definitions
7272
73+**Type** – an attribute of data which tells the compiler or interpreter how the programmer intends to use the data
74+
7375**Type system** – a logical system comprising a set of rules that assigns a property called a type to the various constructs of a computer program
7476
7577**Type checking** – the process of verifying and enforcing the constraints of types.
@@ -226,7 +228,7 @@ The typechecker is implemented in a two-step architecture:
226228# References
227229
2282301. L. Damas and R. Milner, “Principal type-schemes for functional pro- grams,” in Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1982, pp. 207–212.
229−2. E. Dolstra and A. Lo ̈h, “Nixos: A purely functional linux dis- tribution,” in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008, pp. 367–378.
231+2. E. Dolstra and A. Loh, “Nixos: A purely functional linux distribution,” in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008, pp. 367–378.
2302323. J. G. Morris and J. McKinna, “Abstracting extensible data types: or, rows by any other name,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, pp. 1–28, 2019.
2312334. D. Leijen, “Extensible records with scoped labels.” Trends in Functional Programming, vol. 6, pp. 179–194, 2005.
232234