Collaborated with:
A.Ohori K.Ueno D.Kikuchi
Talks about:
calculus (1) partial (1) manipul (1) record (1) object (1) dynam (1) type (1) json (1)
Person: Tomohiro Sasaki
DBLP: Sasaki:Tomohiro
Contributed to:
Wrote 1 papers:
- ECOOP-2016-OhoriUSK #calculus
- A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects (AO, KU, TS, DK), p. 25.