Type-directed diffing of structured data

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01673541
Contributor : Pierre-Évariste Dagand <>
Submitted on : Saturday, December 30, 2017 - 3:02:28 PM
Last modification on : Tuesday, August 13, 2019 - 10:16:03 AM

Links full text

Identifiers

Citation

Victor Cacciari Miraldo, Pierre-Evariste Dagand, Wouter Swierstra. Type-directed diffing of structured data. TyDe 2017 - 2nd ACM SIGPLAN International Workshop on Type-Driven Development, Sep 2017, Oxford, United Kingdom. pp.2-15, ⟨10.1145/3122975.3122976⟩. ⟨hal-01673541⟩

Share

Metrics

Record views

132