Type-directed diffing of structured data-Reference-Cited by-同舟云学术

Type-directed diffing of structured data

Published:2017-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development
language:
Short-container-title:

Author:

Miraldo Victor Cacciari¹,Dagand Pierre-Évariste²,Swierstra Wouter¹

Affiliation:

1. Utrecht University, Netherlands

2. UPMC, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3122975.3122976

Reference40 articles.

1. Homotopical patch theory

2. Similarity-Based Diff, Three-Way Diff and Merge;Autexier Serge;Int. J. Software and Informatics,2015

3. Marcin Benke Peter Dybjer and Patrik Jansson. 2003. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10 (2003). Marcin Benke Peter Dybjer and Patrik Jansson. 2003. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10 (2003).

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. REPLica: REPL instrumentation for Coq analysis;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20

2. An efficient algorithm for type-safe structural diffing;Proceedings of the ACM on Programming Languages;2019-07-26

3. cregit: Token-level blame information in git version control repositories;Empirical Software Engineering;2019-05-08

4. Generic programming of all kinds;ACM SIGPLAN Notices;2018-12-07

5. Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming;Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development;2018-09-27