thesis.tex

   1 \documentclass[twoside,10pt]{book}
   2
   3 \def\mytitle{Orchestrating the Internet of Things\texorpdfstring{\\}{ }with Task-Oriented Programming}
   4 \def\mysubtitle{a purely functional rhapsody}
   5 \def\myauthor{Mart Lubbers}
   6 \def\mydate{\formatdate{9}{3}{2023}}
   7
   8 \input{preamble}
   9
  10 % To show hboxes even when in non-draft mode
  11 %\setlength{\overfullrule}{20pt}
  12
  13 % Document info
  14 \title{\mytitle\texorpdfstring{\\[2ex]}{---}\smaller\mysubtitle}
  15 \author{Mart Lubbers}
  16 \date{\mydate}
  17
  18 \begin{document}
  19 \begingroup
  20 \makeatletter
  21 \let\@bibitem\saved@bibitem%
  22 \endgroup
  23
  24 \selectlanguage{british}
  25
  26 \frontmatter%
  27 \frontmatterfancy%
  28
  29 %Cover
  30 \hypertarget{cover}{}
  31 \bookmark[level=section,dest=cover]{Cover}
  32 \includepdf{img/cover.pdf}
  33
  34 %Colophon
  35 \hypertarget{colophon}{}
  36 \bookmark[level=section,dest=colophon]{Colophon}
  37 \subfile{front/colophon}
  38
  39 %Titlepage
  40 \hypertarget{titlepage}{}
  41 \bookmark[level=section,dest=titlepage]{Titlepage}
  42 \subfile{front/titlepage}
  43 \cleardoublepage%
  44
  45 % Epigraph/motto
  46 \hypertarget{motto}{}
  47 \bookmark[level=section,dest=motto]{Motto}
  48 \subfile{front/motto}
  49 \cleardoublepage%
  50
  51 % Table of contents
  52 \setcounter{tocdepth}{1}
  53 \hypertarget{contents}{}
  54 \bookmark[level=section,dest=contents]{Contents}
  55 \tableofcontents
  56 \cleardoublepage%
  57
  58 % Dedication
  59 \hypertarget{dedication}{}
  60 \bookmark[level=section,dest=dedication]{Dedication}
  61 \subfile{front/dedication}
  62
  63 % The actual document
  64 \mainmatter%
  65 \mainmatterfancy%
  66 %\setcounter{chapter}{-1}
  67 \glsresetall{} % Reset glossary and thus the acronyms
  68
  69 % Introduction
  70 \subfile{intro/intro}
  71
  72 \part[\'Etude --- Domain-Specific Languages]{\'Etude\\[2ex]\smaller{}Domain-Specific Languages}%
  73 \label{prt:dsl}
  74 \subfile{dsl/class}    % Deep embedding with class
  75 \subfile{dsl/first}    % First-class data types
  76
  77 % Part II
  78 \subfile{top/top}
  79
  80 \part[Tiered versus Tierless Programming]{\\[2ex]\smaller{}Tiered versus Tierless Programming}%
  81 \label{prt:tvt}
  82 \subfile{tvt/tvt}   % Could Tierless Languages Reduce IoT Development Grief?
  83
  84 % Conclusion
  85 \bookmarksetup{startatroot} % descend back out of the previous part
  86 \addtocontents{toc}{\bigskip}% Insert some whitespace to make the TOC better
  87 \subfile{coda/coda}
  88
  89 % Start appendix
  90 \appendix%
  91 \label{chp:appendix}
  92 \addcontentsline{toc}{part}{Appendix}
  93
  94 \subfile{appx/c4hp}
  95 \subfile{appx/mtask_aux}
  96 \subfile{appx/bytecode}
  97
  98 \backmatter%
  99 \backmatterfancy%
 100 \bookmarksetup{startatroot} % descend back out of the appendix
 101
 102 % Bibliography
 103 \phantomsection{}%
 104 \label{chp:bibliography}
 105 \addcontentsline{toc}{chapter}{Bibliography}
 106 \renewbibmacro*{begentry}{\midsentence}
 107 \printbibliography%
 108
 109 % Summary
 110 \subfile{back/summary}
 111
 112 % Samenvatting
 113 \subfile{back/samenvatting}
 114
 115 % Acknowledgements
 116 \subfile{back/acknowledgements}
 117
 118 % Research data management
 119 \subfile{back/research_data_management}
 120
 121 % Curriculum vitæ
 122 \subfile{back/curriculum_vitae}
 123
 124 % Glossary
 125 \printglossary[style=mcolindex]%
 126
 127 %% Lists of
 128 %\cleardoublepage{}
 129 %\phantomsection{}%
 130 %\label{chp:listsof...}
 131 %\addcontentsline{toc}{chapter}{Lists of \ldots}
 132 %\begingroup
 133 %\let\clearpage\relax
 134 %\let\cleardoublepage\relax
 135 %\listoffigures%
 136 %\listoftables%
 137 %\listofalgorithms%
 138 %\lstlistoflistings%
 139 %\endgroup
 140
 141 % Index
 142 %\addcontentsline{toc}{chapter}{Index}%
 143 %\label{chp:index}
 144 %\printindex
 145
 146 \end{document}