thesis.tex

   1 \documentclass[twoside,10pt]{book}
   2
   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}}
   7
   8 \input{preamble}
   9
  10 % To show hboxes even when in non-draft mode
  11 \overfullrule=1mm
  12
  13 % Just for the todonotes, can go when it's finished
  14 \usepackage{todonotes}
  15 \setuptodonotes{
  16         backgroundcolor=white,
  17         linecolor=black,
  18         size=scriptsize,
  19 }
  20
  21 % Document info
  22 \title{\mytitle{} --- \mysubtitle{}}
  23 \author{Mart Lubbers}
  24
  25 \date{\mydate}
  26
  27 \begin{document}
  28 \selectlanguage{british}
  29
  30 \frontmatter%
  31 \frontmatterfancy%
  32
  33 %Titlepage
  34 \subfile{frontmatter/titlepage}
  35 \newpage%
  36
  37 % Epigraph/motto
  38 \subfile{frontmatter/motto}
  39
  40 % Table of contents
  41 %\setcounter{tocdepth}{1}
  42 \tableofcontents
  43 \todo{reduce tocdepth to 1 before finishing}
  44 \todo{to reduce the size: make listings font smaller}
  45 \newpage%
  46
  47 % Dedication
  48 \subfile{frontmatter/dedication}
  49
  50 \listoftodos%
  51
  52 % Reset glossary and thus the acronyms
  53 \glsresetall{}
  54
  55 % The actual document
  56 \mainmatter%
  57 \mainmatterfancy%
  58 \setcounter{chapter}{-1}
  59
  60 % Introduction
  61 \subfile{introduction/introduction}
  62 % DSL
  63
  64 \mypart{prt:dsl}{Prelude}{Domain-Specific Languages}%
  65
  66 % DSL Techniques
  67 \subfile{domain-specific_languages/dsl_techniques}
  68
  69 % Deep embedding with class
  70 \subfile{domain-specific_languages/class_deep_embedding}
  71
  72 % First-class data types
  73 \subfile{domain-specific_languages/first-class_datatypes}
  74
  75 % Stack computations?
  76 \subfile{domain-specific_languages/strongly-typed_multi-view_stack-based_computations}
  77
  78 \mypart{prt:top}{Exposition}{Task-Oriented Programming for the Internet of Things}%
  79
  80 \subfile{mtask/mtask}
  81
  82 \mypart{prt:tvt}{Transformation}{Tiered vs.\ tierless programming}%
  83
  84 \subfile{tiered_vs._tierless_programming/smart_campus}
  85
  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}
  89
  90 % Start appendix
  91 \appendix%
  92 \label{chp:appendix}
  93 \addcontentsline{toc}{part}{Appendix}
  94
  95 \subfile{appendix/clean_for_haskell_programmers}
  96 \subfile{appendix/mtask_aux}
  97 \subfile{appendix/bytecode}
  98
  99 \backmatter%
 100 \backmatterfancy%
 101 \bookmarksetup{startatroot} % descend back out of the appendix
 102
 103 % Bibliography
 104 \phantomsection{}%
 105 \label{chp:bibliography}
 106 \addcontentsline{toc}{chapter}{Bibliography}
 107 \bibliography{other,self,tiot}
 108
 109 % Summary
 110 \subfile{backmatter/summary}
 111
 112 % Samenvatting
 113 \subfile{backmatter/samenvatting}
 114
 115 % Acknowledgements
 116 \subfile{backmatter/acknowledgements}
 117
 118 % Research data management
 119 \subfile{backmatter/research_data_management}
 120
 121 % Curriculum vitæ
 122 \subfile{backmatter/curriculum_vitae}
 123
 124 % Glossary
 125 \addcontentsline{toc}{chapter}{Glossary}%
 126 \label{chp:glossaries}
 127 \printglossary%
 128 %\printglossary[type=\acronymtype,style=mcolindex]%
 129 \printglossary[type=\acronymtype]%
 130
 131 %% Lists of
 132 %\cleardoublepage{}
 133 %\phantomsection{}%
 134 %\label{chp:listsof...}
 135 %\addcontentsline{toc}{chapter}{Lists of \ldots}
 136 %\begingroup
 137 %\let\clearpage\relax
 138 %\let\cleardoublepage\relax
 139 %\listoffigures%
 140 %\listoftables%
 141 %\listofalgorithms%
 142 %\lstlistoflistings%
 143 %\endgroup
 144
 145 % Index
 146 %\addcontentsline{toc}{chapter}{Index}%
 147 %\label{chp:index}
 148 %\printindex
 149
 150 \end{document}