check

book.tex

@@ -1299,7 +1299,7 @@ way.
 
 \subsection{Definitional Interpreter for $R_1$}
 
-\begin{wrapfigure}[24]{r}[1.0in]{0.6\textwidth}
+\begin{wrapfigure}[25]{r}[1.0in]{0.6\textwidth}
   \small
   \begin{tcolorbox}[title=Association Lists as Dictionaries]
   An \emph{association list} (alist) is a list of key-value pairs.
@@ -11098,6 +11098,31 @@ for the compilation of $R_7$.
 
 This chapter will be based on the ideas of \citet{Siek:2006bh}.
 
+
+\section{The $R_9$ gradually-typed language}
+
+% syntax
+
+% interpreter
+
+% type checker
+
+\section{Lower Casts}
+\label{sec:lower-casts}
+
+
+
+\section{Expose Proxies}
+\label{sec:expose-proxies}
+
+
+\section{Closure Conversion}
+
+\section{Explicate Control}
+
+\section{Select Instructions}
+
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \chapter{Parametric Polymorphism}
 \label{ch:parametric-polymorphism}