1 \documentclass[twoside,
10pt
]{book
}
3 \def\mytitle{Orchestrating the Internet of Things with Task-Oriented Programming
}
4 \def\mysubtitle{a purely functional rhapsody
}
5 \def\myauthor{Mart Lubbers
}
6 \def\mydate{\formatdate{31}{12}{2022}}
10 % To show hboxes even when in non-draft mode
13 % Just for the todonotes, can go when it's finished
14 \usepackage{todonotes
}
16 backgroundcolor=white,
22 \title{\mytitle{} ---
\mysubtitle{}}
28 \selectlanguage{british
}
34 \subfile{frontmatter/titlepage
}
38 \subfile{frontmatter/motto
}
41 %\setcounter{tocdepth}{1}
43 \todo{reduce
tocdepth to
1 before finishing
}
44 \todo{to reduce the size: make listings font smaller
}
48 \subfile{frontmatter/dedication
}
52 % Reset glossary and thus the acronyms
58 \setcounter{chapter
}{-
1}
61 \subfile{introduction/introduction
}
64 \mypart{prt:dsl
}{Prelude
}{Domain-Specific Languages
}%
67 \subfile{domain-specific_languages/dsl_techniques
}
69 % Deep embedding with class
70 \subfile{domain-specific_languages/class_deep_embedding
}
72 % First-class data types
73 \subfile{domain-specific_languages/first-class_datatypes
}
76 \subfile{domain-specific_languages/strongly-typed_multi-view_stack-based_computations
}
78 \mypart{prt:top
}{Exposition
}{Task-Oriented Programming for the Internet of Things
}%
82 \mypart{prt:tvt
}{Transformation
}{Tiered vs.\ tierless programming
}%
84 \subfile{tiered_vs._tierless_programming/smart_campus
}
86 \bookmarksetup{startatroot
} % descend back out of the previous part
87 \addtocontents{toc
}{\bigskip}% Insert some whitespace to make the TOC better
88 \subfile{conclusion/conclusion
}
93 \addcontentsline{toc
}{part
}{Appendix
}
95 \subfile{appendix/clean_for_haskell_programmers
}
96 \subfile{appendix/mtask_aux
}
97 \subfile{appendix/bytecode
}
101 \bookmarksetup{startatroot
} % descend back out of the appendix
105 \label{chp:bibliography
}
106 \addcontentsline{toc
}{chapter
}{Bibliography
}
107 \bibliography{other,self,tiot
}
110 \subfile{backmatter/summary
}
113 \subfile{backmatter/samenvatting
}
116 \subfile{backmatter/acknowledgements
}
118 % Research data management
119 \subfile{backmatter/research_data_management
}
122 \subfile{backmatter/curriculum_vitae
}
125 \addcontentsline{toc
}{chapter
}{Glossary
}%
126 \label{chp:glossaries
}
128 %\printglossary[type=\acronymtype,style=mcolindex]%
129 \printglossary[type=
\acronymtype]%
134 %\label{chp:listsof...}
135 %\addcontentsline{toc}{chapter}{Lists of \ldots}
137 %\let\clearpage\relax
138 %\let\cleardoublepage\relax
146 %\addcontentsline{toc}{chapter}{Index}%