more

scp-reviews-2108.tex

@@ -820,7 +820,7 @@ However, the paper does raise some questions about the connection to
 practical languages. For example, it is noted (p15, line 53) that a
 practical language would not support dynamic type tests of functions
 using any non-trivial function type (only
-\texttt{f\ \textbackslash{}in\ 0\ -\textgreater{}\ 1} would be
+\texttt{f $\in\empt\to\any$} would be
 supported, that is, we can test whether a given value is a function or
 not a function, we can't test it's type in any detail). This seems to
 justify a question about why it is useful to study the much more