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

Fix bib.

parent 5c3137ba
......@@ -268,7 +268,7 @@ process (called \emph{selfification} in the cited works) roughly
corresponds to our $\constrf$ function (see Section~\ref{sec:typenv}).
Another approach is the one followed by \cite{RKJ08} is based purely
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{SF92}). Using a program
transformation, every destructor application (function application,
projection, \ldots) is given a name through a let-binding. The problem
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