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

Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi. A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. In Shriram Krishnamurthi, Benjamin S. Lerner, editors, 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. Volume 56 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Atsushi Ohori

This author has not been identified. Look up 'Atsushi Ohori' in Google

Katsuhiro Ueno

This author has not been identified. Look up 'Katsuhiro Ueno' in Google

Tomohiro Sasaki

This author has not been identified. Look up 'Tomohiro Sasaki' in Google

Daisuke Kikuchi

This author has not been identified. Look up 'Daisuke Kikuchi' in Google