A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects.

Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi

Browse the full ECOOP paper archive.