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