Commit 91be5668 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

online

parent be341e87
......@@ -404,7 +404,7 @@ or not).\footnote{%%%
Of course, there exist languages in which it is
possible to check whether some value has a type that has functional
subcomponents---e.g., to test whether an object is of some class
that possess some given methods, but that is a case of nominal rather than
that possesses some given methods, but that is a case of nominal rather than
structural subtyping, which in our framework corresponds to testing
whether a value has some basic type.
}%%%rev
......
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