+% DSL Techniques
+\subfile{domain-specific_languages/dsl_techniques}
+
+% Deep embedding with class
+\subfile{domain-specific_languages/class_deep_embedding}
+
+% First-class data types
+\subfile{domain-specific_languages/first-class_datatypes}
+
+% Stack computations?
+\subfile{domain-specific_languages/strongly-typed_multi-view_stack-based_computations}
+
+\part[Exposition: Task-Oriented Internet of Things Programming]{Exposition\\Task-Oriented Internet of Things Programming}%