Index: doc/theses/jiada_liang_MMath/relatedwork.tex
===================================================================
--- doc/theses/jiada_liang_MMath/relatedwork.tex	(revision 63379165b0323feff45cb7df3e343e44000450d4)
+++ doc/theses/jiada_liang_MMath/relatedwork.tex	(revision df78cce298234f5393935a7b378e26335eaf33ff)
@@ -16,5 +16,5 @@
 Values of algebraic types are access by subscripting, field qualification, or type (pattern) matching.
 
-Enumeration types exist in many popular programming languages, both past and present, \eg Pascal~\cite{Pascal}, Ada~\cite{Ada}, \Csharp~\cite{Csharp}, Haskell~\cite{Haskell} \CC, Go~\cite{Go}, Java~\cite{Java}, Modula-3~\cite{Modula-3}, Rust~\cite{Rust}, Swift~\cite{Swift}, Python~\cite{Python}.
+Enumeration types exist in many popular programming languages, both past and present, \eg Pascal~\cite{Pascal}, Ada~\cite{Ada}, \Csharp~\cite{Csharp}, OCaml~\cite{OCaml} \CC, Go~\cite{Go}, Java~\cite{Java}, Modula-3~\cite{Modula-3}, Rust~\cite{Rust}, Swift~\cite{Swift}, Python~\cite{Python}.
 Among theses languages, there are a large set of overlapping features, but each language has its own unique extensions and restrictions.
 
@@ -2465,5 +2465,5 @@
 \lstnewenvironment{ocaml}[1][]{\lstset{language=OCaml,escapechar=\$,moredelim=**[is][\color{red}]{@}{@},}\lstset{#1}}{}
 
-OCaml~\cite{Ocaml} provides a variant (union) type, where multiple heterogeneously-typed objects share the same storage.
+OCaml provides a variant (union) type, where multiple heterogeneously-typed objects share the same storage.
 The simplest form of the variant type is a list of nullary datatype constructors, which is like an unscoped, pure enumeration.
 \begin{ocaml}
@@ -2554,2 +2554,19 @@
   - Gregor Richards
 \end{comment}
+
+
+\section{Comparison}
+
+\begin{tabular}{r|ccccccccc}
+feat. / lang. & Pascal	& Ada	& \Csharp	& OCaml	& Java	& Modula-3	& Rust	& Swift	& Python	\\
+\hline
+pure		&			&		&			&		&		&			&		&		&			\\
+ordered		&			&		&			&		&		&			&		&		&			\\
+setable		&			&		&			&		&		&			&		&		&			\\
+auto-init	&			&		&			&		&		&			&		&		&			\\
+scoped		&			&		&			&		&		&			&		&		&			\\
+typed		&			&		&			&		&		&			&		&		&			\\
+switch		&			&		&			&		&		&			&		&		&			\\
+loop		&			&		&			&		&		&			&		&		&			\\
+array		&			&		&			&		&		&			&		&		&			\\
+\end{tabular}