Add 1ml reference

article/1mlex-module-system.tex

@@ -0,0 +1,3 @@
+\section{1ML: An Extension of ML Module}
+
+\cite{Rossberg:2018}

article/reference.bib

@@ -358,3 +358,19 @@ @inproceedings{Weirich:2013
   year = {2013},
   pages = {275--286},
 }
+
+@article{Rossberg:2018,
+  title = {{1ML} – {Core} and modules united},
+  volume = {28},
+  copyright = {https://www.cambridge.org/core/terms},
+  issn = {0956-7968, 1469-7653},
+  url = {https://www.cambridge.org/core/product/identifier/S0956796818000205/type/journal_article},
+  doi = {10.1017/S0956796818000205},
+  abstract = {ML is two languages in one: there is the core, with types and expressions, and there are modules, with signatures, structures and functors. Modules form a separate, higher-order functional language on top of the core. There are both practical and technical reasons for this stratification; yet, it creates substantial duplication in syntax and semantics, and it imposes seemingly unnecessary limits on expressiveness because it makes modules second-class citizens of the language. For example, selecting one among several possible modules implementing a given interface cannot be made a dynamic decision. Language extensions allowing modules to be packaged up as first-class values have been proposed and implemented in different variations. However, they remedy expressiveness only to some extent and tend to be even more syntactically heavyweight than using second-class modules alone.},
+  language = {en},
+  urldate = {2024-11-09},
+  journal = {Journal of Functional Programming},
+  author = {Rossberg, Andreas},
+  year = {2018},
+  pages = {35--47},
+}

main.tex

@@ -50,6 +50,7 @@ \chapter{Basic Algorithms}
 \chapter{Modules and Phase Distinction}
 \include{article/fing-modules-lightweight}
 \include{article/fing-modules}
+\include{article/1mlex-module-system}
 
 \chapter{Control Operators}