Poster associated with the ECOOP research paper “A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects”.