  This work studies gradual typing for row types and row polymorphism. Key
ingredients in this work are the dynamic row type, which represents a
statically unknown part of a row, and consistency for row types, which allows
injecting static row types into the dynamic row type and, conversely,
projecting the dynamic row type to any static row type. While consistency
captures the behavior of the dynamic row type statically, it makes the
semantics of a gradually typed language incoherent when combined with row
equivalence which identifies row types up to field reordering. To solve this
problem, we develop consistent equivalence, which characterizes composition of
consistency and row equivalence. Using consistent equivalence, we propose a
polymorphic blame calculus for row types and row polymorphism. In our blame
calculus, casts perform not only run-time checking with the dynamic row type
but also field reordering in row types. To simplify our technical development
for row polymorphism, we adopt scoped labels, which are employed by the
language Koka and are also emerging in the context of effect systems. We give
the formal definition of our blame calculus with these technical developments
and prove its type soundness. We also sketch the gradually typed surface
language and type-preserving translation from the surface language to the blame
calculus and discuss conservativity of the surface language over typing of a
statically typed language with row types and row polymorphism.
