Pure pattern calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3924 LNCS, Issue , 2006, Pages 100-114

  Jay, Barry ^a   Kesner, Delia ^b  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BETA-REDUCTION; LAMBDA-CALCULUS; POLYMORPHISM; PURE PATTERN CALCULUS; IT SUPPORTS; LAMBDA CALCULUS; NEW FORMS; PATTERN CALCULUS; XML PATH;

COMPUTATION THEORY; COMPUTER PROGRAMMING; DATA REDUCTION; DATA STRUCTURES; FEATURE EXTRACTION; INFORMATION ANALYSIS; NUMERICAL METHODS; QUERY LANGUAGES; XML; DIFFERENTIATION (CALCULUS); PATTERN MATCHING;

PATTERN RECOGNITION; CALCULATIONS;

EID: 33745777191     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693024_8     Document Type: Conference Paper

References (24)

1. [Bar84] Henk Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1984. Revised Edition.
2. [BCKL03] Gilles Barthe, Horatiu Cirstea, Claude Kirchner, and Luigi Liquori. Pure Pattern Type Systems. In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL), pages 250-261. ACM, 2003.
3. [BdMH96] Richard Bird, Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations. Journal of Functional Programming, 6(1):1-28, 1996.
4. [Bur69] Rod M. Burstall. Proving properties of programs by structural induction. The Computer Journal, 1969.
5. [CK98] Horatiu Cirstea and Claude Kirchner, ρ-calculus, the rewriting calculus. In 5th International Workshop on Constraints in Computational Logics (CCL), 1998.
6. [CK99] Serenella Cerrito and Delia Kesner. Pattern matching as cut elimination. In Giuseppe Longo, editor, 14th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 98-108. IEEE Computer Society Press, 1999.
7. [FK03] Julien Forest and Delia Kesner. Expression reduction systems with patterns. In Robert Nieuwenhuis, editor, 14th International Conference on Rewriting Techniques and Applications (RTA), volume 2706 of Lecture Notes in Computer Science, pages 107-122. Springer-Verlag, 2003.
8. [For02] Julien Forest. A weak calculus with explicit operators for pattern matching and substitution. In Sophie Tison, editor, 13th International Conference on Rewriting Techniques and Applications (RTA), volume 2378 of Lecture Notes in Computer Science, pages 174-191. Springer-Verlag, 2002.
9. [GJ03] Jeremy Gibbons and Johan Jeuring, editors. Generic Programming: IFIP TC2/WG2.1 Working Conference on Generic Programming July 11-12,2002, Dagstuhl, Germany. Kluwer Academic Publishers, 2003.
10. [Has] The Haskell language. http://www.haskell.org/.
11. [HJS05a] Freeman Yufei Huang, C. Barry Jay, and David B. Skillicorn. Dealing with complex patterns in XML processing. Technical Report 2005-497, Queen's University School of Computing, 2005.
12. [HJS05b] Freeman Yufei Huang, C. Barry Jay, and David B. Skillicorn. Programming with heterogeneous structures: Manipulating XML data using bondi. Technical Report 2005-494, Queen's University School of Computing, 2005. To appear in ACSW'06.
13. [Jan00] Patrick Jansson. Functional Polytypic Programming. PhD thesis, Computing Science, Chalmers University of Technology and Göteborg University, Sweden, May 2000.
14. [Jay04a] C. Barry Jay. Higher-order patterns. Available as www-staff.it.uts.edu.au/~cbj/Publications/higher_order_patterns.pdf, 2004.
15. [Jay04b] C. Barry Jay. Methods as pattern-matching functions. In Sophia Drossopoulou, editor, The 11th International Workshop on Foundations of Object-Oriented Languages, 2004. Proc. available as http://www.doc.ic.ac.uk/ ~scd/F00.pdf.
16. [Jay04c] C. Barry Jay. The pattern calculus. ACM Transactions on Programming Languages and Systems (TOPLAS), 26(6):911-937, November 2004.
17. [JBM98] C. Barry Jay, Gianna Bellè, and Eugenio Moggi. Functorial ML. Journal of Functional Programming, 8(6):573-619, 1998.
18. [JC94] C. Barry Jay and J. Robin B. Cockett. Shapely types and shape polymorphism. In D. Sannella, editor, Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 1994, Proceedings, volume 788 of Lecture Notes in Computer Science, pages 302-316. Springer Verlag, 1994.
19. [Kah03] Wolfram Kahl. Basic pattern matching calculi: Syntax, reduction, confluence, and normalisation. Technical Report 16, Software Quality Research Laboratory, McMaster Univ., 2003.
20. [Kes97] Delia Kesner. Reasoning about redundant patterns. Journal of Functional and Logic Programming, 1997(4), June 1997.
21. [Klo80] Jan-Willem Klop. Combinatory Reduction Systems. PhD thesis, Mathematical Centre Tracts 127, CWI, Amsterdam, 1980.
22. [KPT96] Delia Kesner, Laurence Puel, and Val Tannen. A Typed Pattern Calculus. Information and Computation, 124(1):32-61, 1996.
23. [Oca] The Objective Caml language, http://caml.inria.fr/.
24. [SML] STANDARD ML OF NEW JERSEY. http://cm.bell-labs.com/cm/cs/what/ smlnj/.