+\mainmatter%
+\mainmatterfancy%
+\setcounter{chapter}{-1}
+
+% Introduction
+\subfile{intro/introduction}
+% DSL
+
+\part[Prelude: Domain-Specific Languages]{Prelude:\\[2ex]\smaller{}Domain-Specific Languages}%
+\label{prt:dsl}
+\subfile{dsl/dsl_techniques} % DSL Techniques
+\subfile{dsl/class_deep_embedding} % Deep embedding with class
+\subfile{dsl/first-class_datatypes} % First-class data types
+
+\part[Exposition: Task-Oriented Programming]{Exposition:\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
+\label{prt:top}
+\subfile{top/mtask} % MTask tutorial and implementation
+
+\part[Transformation: Tiered vs.\ Tierless Programming]{Transformation:\\[2ex]\smaller{}Tiered vs.\ Tierless Programming}%
+\label{prt:tvt}
+\subfile{tvt/tvt} % Could Tierless Languages Reduce IoT Development Grief?