1 \documentclass[twoside,
10pt
]{book
}
3 \def\mytitle{Big Things for Tiny Computers
}
4 \def\mysubtitle{Task-Oriented Programming for the Internet of Things
}
5 \def\myauthor{Mart Lubbers
}
6 \def\mydate{\formatdate{1}{6}{2023}}
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
}
31 %\addtitlethumb{Frontmatter}{}{white}{gray}{pagesLTS.0}
34 \subfile{frontmatter/titlepage
}
38 \subfile{frontmatter/motto
}
45 \subfile{frontmatter/dedication
}
49 % Reset glossary and thus the acronyms
54 \addthumb{Chapters
}{\arabic{chapter
}}{white
}{gray
}
55 \setcounter{chapter
}{-
1}
58 \subfile{introduction/introduction
}
60 \part{Domain-Specific Languages
}%
64 \subfile{domain_specific_languages/dsl_techniques
}
66 % Deep embedding with class
67 \subfile{domain_specific_languages/class_deep_embedding
}
69 % First-class data types
70 \subfile{domain_specific_languages/first-class_datatypes
}
72 \part{Task-Oriented Programming
}%
76 \subfile{task_oriented_programming/mtask_by_example
}
79 \subfile{task_oriented_programming/interpreting
}
82 \subfile{task_oriented_programming/integration
}
84 \part{Tiered vs.\ tierless programming
}%
87 \subfile{tiered_vs._tierless_programming/smart_campus
}
89 \chapter{Modelling naval scenaries using
\acrshort{TOP
} and
\acrshort{IOT
}}
90 Arjan's werk
{NLARMS
}?
95 \addthumb{Appendices
}{\Alph{chapter
}}{white
}{gray
}
97 \subfile{appendix/clean_for_haskell_programmers.tex
}
100 \addtitlethumb{Backmatter
}{}{white
}{gray
}{pagesLTS
.0}
104 \label{chp:bibliography
}
105 \addcontentsline{toc
}{chapter
}{Bibliography
}
106 \bibliography{thesis
}
109 \subfile{backmatter/summary
}
112 \subfile{backmatter/samenvatting
}
115 \subfile{backmatter/acknowledgements
}
117 % Research data management
118 \subfile{backmatter/research_data_management
}
121 \subfile{backmatter/curriculum_vitae
}
124 \addcontentsline{toc
}{chapter
}{Glossary
}%
125 \label{chp:glossaries
}
131 \label{chp:listsof...
}
132 \addcontentsline{toc
}{chapter
}{Lists of
\ldots}
135 \let\cleardoublepage\relax
143 \addcontentsline{toc
}{chapter
}{Index
}%