-% 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}%
-\label{prt:top}
-
-\subfile{mtask/mtask}
-
-\part[Transformation: Tiered vs.\ tierless programming]{Transformation\\Tiered vs.\ tierless programming}%