Type-directed diffing of structured data - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Dates et versions

hal-01673541 , version 1 (30-12-2017)

Identifiants

Citer

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⟩
130 Consultations
0 Téléchargements

Altmetric

Partager

More