1 \documentclass[twoside,
10pt
]{book
}
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}}
9 % for bleeding and cropmarks
10 %\usepackage[width=17.6truecm, height=24.6truecm, cam, pdftex, center, noinfo ]{crop}
12 % To show hboxes even when in non-draft mode
13 %\setlength{\overfullrule}{20pt}
16 \title{\mytitle\texorpdfstring{\\
[2ex
]}{---
}\smaller\mysubtitle}
23 \let\@bibitem
\saved@bibitem
%
26 \selectlanguage{british
}
33 \bookmark[level=section,dest=cover
]{Cover
}
34 \includepdf[fitpaper
]{kaft/cover.pdf
}
41 \hypertarget{colophon
}{}
42 \bookmark[level=section,dest=colophon
]{Colophon
}
43 \subfile{front/colophon
}
46 \hypertarget{titlepage
}{}
47 \bookmark[level=section,dest=titlepage
]{Titlepage
}
48 \subfile{front/titlepage
}
53 \bookmark[level=section,dest=motto
]{Motto
}
58 \setcounter{tocdepth}{1}
59 \hypertarget{contents
}{}
60 \bookmark[level=section,dest=contents
]{Contents
}
65 \hypertarget{dedication
}{}
66 \bookmark[level=section,dest=dedication
]{Dedication
}
67 \subfile{front/dedication
}
72 %\setcounter{chapter}{-1}
73 \glsresetall{} % Reset glossary and thus the acronyms
78 \part[\'Etude --- Domain-Specific Languages
]{\'Etude\\
[2ex
]\smaller{}Domain-Specific Languages
}%
80 \subfile{dsl/class
} % Deep embedding with class
81 \subfile{dsl/first
} % First-class data types
86 \part[Tiered versus Tierless Programming
]{\\
[2ex
]\smaller{}Tiered versus Tierless Programming
}%
88 \subfile{tvt/tvt
} % Could Tierless Languages Reduce IoT Development Grief?
91 %\bookmarksetup{startatroot} % descend back out of the previous part
92 \addtocontents{toc
}{\bigskip}% Insert some whitespace to make the TOC better
98 \addcontentsline{toc
}{part
}{Appendix
}
101 \subfile{appx/mtask_aux
}
102 \subfile{appx/bytecode
}
106 \bookmarksetup{startatroot
} % descend back out of the appendix
110 \label{chp:bibliography
}
111 \addcontentsline{toc
}{chapter
}{Bibliography
}
112 \renewbibmacro*
{begentry
}{\midsentence}
116 \subfile{back/summary
}
119 \subfile{back/samenvatting
}
122 \subfile{back/acknowledgements
}
124 % Research data management
125 \subfile{back/research_data_management
}
128 \subfile{back/curriculum_vitae
}
131 \printglossary[style=mcolindex
]%
136 %\label{chp:listsof...}
137 %\addcontentsline{toc}{chapter}{Lists of \ldots}
139 %\let\clearpage\relax
140 %\let\cleardoublepage\relax
148 %\addcontentsline{toc}{chapter}{Index}%