References

\(\newcommand{\TirName}[1]{\text{#1}} \newcommand{\inferrule}[3][]{ \let\and\qquad \begin{array}{@{}l@{}} \TirName{#1} \\ \displaystyle \frac{#2}{#3} \end{array} } \newcommand{\infer}[3][]{\inferrule[#1]{#2}{#3}} \)

[1]

Dean, J. and Ghemawat, S. 2008. MapReduce: Simplified data processing on large clusters. Commun. ACM. 51, 1 (2008), 107–113.

[2]

Hoare, C.A.R. 2009. Null references: The billion dollar mistake. QCon London (2009).

[3]

Milner, R. 1978. A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17, 3 (1978), 348–375. DOI:https://doi.org/10.1016/0022-0000(78)90014-4.

[4]

Odersky, M. et al. 2008. Programming in Scala. Artima.

[5]

Odersky, M. et al. 2019. Programming in Scala, fourth edition. Artima.

[6]

Python Software Foundation What is Python?