1 \documentclass[twoside,
10pt
]{book
}
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}}
10 % To show hboxes even when in non-draft mode
13 % Just for the todonotes, can go when it's finished
14 \usepackage[disable
]{todonotes
}
16 backgroundcolor=white,
20 %\newcommand{\todo}[2][1]{1}
21 %\newcommand{\listoftodos}{}
24 \title{\mytitle{} ---
\mysubtitle{}}
30 \selectlanguage{british
}
36 \subfile{front/titlepage
}
43 \setcounter{tocdepth}{1}
45 \todo{to reduce the size: make listings font smaller
}
49 \subfile{front/dedication
}
51 % Reset glossary and thus the acronyms
57 \setcounter{chapter
}{-
1}
60 \subfile{intro/introduction
}
63 \part[Prelude: Domain-Specific Languages
]{Prelude:\\
[2ex
]\smaller{}Domain-Specific Languages
}%
65 \subfile{dsl/dsl_techniques
} % DSL Techniques
66 \subfile{dsl/class_deep_embedding
} % Deep embedding with class
67 \subfile{dsl/first-class_datatypes
} % First-class data types
69 \part[Exposition: Task-Oriented Programming
]{Exposition:\\
[2ex
]\smaller{}Task-Oriented Programming for the Internet of Things
}%
71 \subfile{top/mtask
} % MTask tutorial and implementation
73 \part[Transformation: Tiered vs.\ Tierless Programming
]{Transformation:\\
[2ex
]\smaller{}Tiered vs.\ Tierless Programming
}%
75 \subfile{tvt/tvt
} % Could Tierless Languages Reduce IoT Development Grief?
77 \bookmarksetup{startatroot
} % descend back out of the previous part
78 \addtocontents{toc
}{\bigskip}% Insert some whitespace to make the TOC better
79 \subfile{concl/conclusion
}
84 \addcontentsline{toc
}{part
}{Appendix
}
86 \subfile{appx/clean_for_haskell_programmers
}
87 \subfile{appx/mtask_aux
}
88 \subfile{appx/bytecode
}
92 \bookmarksetup{startatroot
} % descend back out of the appendix
96 \label{chp:bibliography
}
97 \addcontentsline{toc
}{chapter
}{Bibliography
}
98 \bibliography{other,self,tiot
}
101 \subfile{back/summary
}
104 \subfile{back/samenvatting
}
107 \subfile{back/acknowledgements
}
109 % Research data management
110 \subfile{back/research_data_management
}
113 \subfile{back/curriculum_vitae
}
116 \addcontentsline{toc
}{chapter
}{Glossary
}%
117 \label{chp:glossaries
}
119 %\printglossary[type=\acronymtype,style=mcolindex]%
120 \printglossary[type=
\acronymtype]%
125 %\label{chp:listsof...}
126 %\addcontentsline{toc}{chapter}{Lists of \ldots}
128 %\let\clearpage\relax
129 %\let\cleardoublepage\relax
137 %\addcontentsline{toc}{chapter}{Index}%