Commit ab90d60c authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added ack

parent af6e96dc
......@@ -227,10 +227,6 @@ gradual typing.
\label{ssec:algorithm}
\input{algorithm}
%{\color{gray}
%\section{OLD LANGUAGE}
%\input{language}
%}
\section{Extensions}
\label{sec:extensions}
......@@ -254,7 +250,8 @@ gradual typing.
%% Acknowledgments
\subsubsection*{Acknowledgments}
\noindent The authors thank Paul-André Melliès for his help on type ranking.
\noindent The authors thank Paul-André Melliès for his help on type
ranking and Sam Tobin-Hochstadt for his feedback and useful insight.
This research was partially supported by Labex DigiCosme (project ANR-11-LABEX-0045-
DIGICOSME) operated by ANR as part of the program «Investissement d'Avenir» Idex
......
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