Telecharger Cours

A Calculus with Partially Dynamic Records for Typeful Manipulation ...

This paper investigates language constructs for high-level and type-safe manipulation of JSON objects in a typed functional language. A major obstacle in ...



Download