Type-safe diff for families of datatypes

Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming, WGP'09, Co-located with the International Conference on Functional Programming, ICFP 2009

Volumn , Issue , 2009, Pages 61-72

  Lempsink, Eelco ^a   Leather, Sean ^a   Löh, Andres ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Datatype generic programming; Dependent types; Edit distance

Indexed keywords

ABSTRACT SYNTAX TREES; CLASSIC ALGORITHM; DATA TYPE; DATATYPES; DEPENDENT TYPES; EDIT DISTANCE; FUNCTIONAL PROGRAMMING LANGUAGES; GENERIC IMPLEMENTATION; GENERIC PROGRAMMING; HASKELL; LONGEST COMMON SUBSEQUENCES; MEMOIZATION; PROGRAM CODE; TEXT FILE; TYPE SAFETY; TYPE SYSTEMS;

LINGUISTICS;

FUNCTIONAL PROGRAMMING;

EID: 70450198436     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596614.1596624     Document Type: Conference Paper

References (28)

1. Marcin Benke, Peter Dybjer, and Patrik Jansson. Universes for Generic Programs and Proofs in Dependent Type Theory. Nordic Journal of Computing, 10(4):265-289, 2003.
2. L. Bergroth, H. Hakonen, and T. Raita. A Survey of Longest Common Subsequence Algorithms. In SPIRE 2000: Proceedings of the 7th International Symposium on String Processing and Information Retrieval, pages 39-48, 2000.
3. Philip Bille. A survey on tree edit distance and related problems. Theor. Comput. Sci., 337(1-3):217-239, 2005.
4. Sudarshan S. Chawathe and Hector Garcia-Molina. Meaningful Change Detection in Structured Data. In SIGMOD '97: Proceedings of the 1997 ACM SIGMOD international conference on Management of data, volume 26, pages 26-37, New York, NY, USA, June 1997. ACM Press.
5. Sudarshan S. Chawathe, Anand Rajaraman, Hector Garcia-Molina, and Jennifer Widom. Change Detection in Hierarchically Structured Information. In SIGMOD '96: Proceedings of the 1996 ACM SIGMOD international conference on Management of data, volume 25, pages 493-504, New York, NY, USA, June 1996. ACM Press.
6. Douglas Crockford. The application/json Media Type for JavaScript Object Notation (JSON). RFC 4627, July 2006.
7. Jeremy Gibbons. Datatype-Generic Programming. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Datatype- Generic Programming, pages 1-71. Springer Berlin/Heidelberg, 2007.
8. Daniel S. Hirschberg. The longest common subsequence problem. PhD thesis, Princeton, NJ, USA, 1975.
9. Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez. Generic Views on Data Types. In Tarmo Uustalu, editor, MPC 2006: Proceedings of the 8th International Conference on the Mathematics of Program Construction, pages 209-234. July 2006.
10. J. W. Hunt and M. D. Mcilroy. An Algorithm for Differential File Comparison. Technical Report 41, Bell Laboratories Computing Science, July 1976.
11. Patrik Jansson and Johan Jeuring. PolyP-a polytypic programming language extension. In POPL '97: Proceedings of the 24th ACM SIGPLANSIGACT symposium on Principles of programming languages, pages 470-482, New York, NY, USA, 1997. ACM Press.
12. th Annual European Symposium on Algorithms, pages 91-102. Springer-Verlag, London, UK, 1998.
13. Andres Löh. Exploring Generic Haskell. PhD thesis, Utrecht University, 2004.
14. Antoni Lozano and Gabriel Valiente. On the Maximum Common Embedded Subtree Problem for Ordered Trees. In In C. Iliopoulos and T Lecroq, editors, String Algorithmics, chapter 7. King's College London Publications, 2004.
15. Peter Morris. Constructing Universes for Generic Programming. PhD thesis, The University of Nottingham, November 2007.
16. Ulf Norell. Towards a practical programming language based on dependent type theory. PhD thesis, Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University, Göteborg, Sweden, 2007.
17. th International Summer School on Advanced Functional Programming, May 2008.
18. Bruno C. D. S. Oliveira, Ralf Hinze, and Andres Löh. Extensible and Modular Generics for the Masses. In Henrik Nilsson, editor, Trends in Functional Programming, volume 7 of Trends in Functional Programming, pages 199-216. Intellect, 2006.
19. th ACM SIGPLAN international conference on Functional programming, pages 39-50, New York, NY, USA, 2008. ACM.
20. rd Twente Student Conference on IT. Faculty of Electrical Engineering, Mathematics, and Computer Science, University of Twente, June 2005.
21. Dan Piponi. The Antidiagonal. http://blog.sigfpe.com/2007/09/type- ofdistinct-pairs.html, September 2007a.
22. Dan Piponi. Tries and their Derivatives. http://blog.sigfpe.com/2007/09/ tries-and-their-derivatives-08.html, September 2007b.
23. Alexey Rodriguez, Stefan Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. In Accepted to ICFP 2009, 2009.
24. S. Selkow. The tree-to-tree editing problem. Information Processing Letters, 6(6):184-186, December 1977.
25. Tim Sheard and Simon P. Jones. Template Meta-programming for Haskell. SIGPLAN Not., 37(12):60-75, December 2002.
26. Sjoerd Tieleman. Formalisation of version control with an emphasis on tree-structured data. Master's thesis, Universiteit Utrecht, August 2006.
27. Wuu Yang. Identifying Syntactic Differences Between Two Programs. Software: Practice and Experience, 21(7):739-755, 1991.
28. Kaizhong Zhang and Dennis Shasha. Simple Fast Algorithms for the Editing Distance between Trees and Related Problems. SIAM Journal on Computing, 18(6):1245-1262, 1989.