Commit b310bf32 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Fix stray \

parent 9c36ae63
...@@ -253,7 +253,7 @@ process (called \emph{selfification} in the cited works) roughly ...@@ -253,7 +253,7 @@ process (called \emph{selfification} in the cited works) roughly
corresponds to our $\constrf$ function (see Section~\ref{sec:typenv}). corresponds to our $\constrf$ function (see Section~\ref{sec:typenv}).
Another approach is the one followed by \cite{RKJ08} is based purely Another approach is the one followed by \cite{RKJ08} is based purely
on a program transformation, namely putting the the term on a program transformation, namely putting the the term
in \emph{administrative normal form} (\cite{\F92}). Using a program in \emph{administrative normal form} (\cite{F92}). Using a program
transformation, every destructor application (function application, transformation, every destructor application (function application,
projection, \ldots) is given a name through a let-binding. The problem projection, \ldots) is given a name through a let-binding. The problem
of tracking precise type information for every sub-expression is of tracking precise type information for every sub-expression is
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment