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{31}{12}{2022}}
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
}
34 \subfile{front/titlepage
}
41 \setcounter{tocdepth}{1}
43 \todo{to reduce the size: make listings font smaller
}
47 \subfile{front/dedication
}
49 % Reset glossary and thus the acronyms
55 \setcounter{chapter
}{-
1}
61 \part[\'Etude: Domain-Specific Languages
]{\'Etude:\\
[2ex
]\smaller{}Domain-Specific Languages
}%
63 \subfile{dsl/dsl_techniques
} % DSL Techniques
64 \subfile{dsl/class_deep_embedding
} % Deep embedding with class
65 \subfile{dsl/first-class_datatypes
} % First-class data types
67 \part[Oratorio: Task-Oriented Programming
]{Oratorio\\
[2ex
]\smaller{}Task-Oriented Programming for the Internet of Things
}%
69 \subfile{top/top
} % MTask tutorial and implementation
71 \part[Transformation: Tiered vs.\ Tierless Programming
]{Transformation:\\
[2ex
]\smaller{}Tiered vs.\ Tierless Programming
}%
73 \subfile{tvt/tvt
} % Could Tierless Languages Reduce IoT Development Grief?
75 \bookmarksetup{startatroot
} % descend back out of the previous part
76 \addtocontents{toc
}{\bigskip}% Insert some whitespace to make the TOC better
77 \subfile{concl/conclusion
}
82 \addcontentsline{toc
}{part
}{Appendix
}
84 \subfile{appx/clean_for_haskell_programmers
}
85 \subfile{appx/mtask_aux
}
86 \subfile{appx/bytecode
}
90 \bookmarksetup{startatroot
} % descend back out of the appendix
94 \label{chp:bibliography
}
95 \addcontentsline{toc
}{chapter
}{Bibliography
}
96 \bibliography{other,self,tiot
}
99 \subfile{back/summary
}
102 \subfile{back/samenvatting
}
105 \subfile{back/acknowledgements
}
107 % Research data management
108 \subfile{back/research_data_management
}
111 \subfile{back/curriculum_vitae
}
114 \addcontentsline{toc
}{chapter
}{Glossary
}%
115 \label{chp:glossaries
}
116 \printglossary[style=mcolindex
]%
117 \printglossary[type=
\acronymtype,style=mcolindex
]%
122 %\label{chp:listsof...}
123 %\addcontentsline{toc}{chapter}{Lists of \ldots}
125 %\let\clearpage\relax
126 %\let\cleardoublepage\relax
134 %\addcontentsline{toc}{chapter}{Index}%