Extensible pattern matching via a lightweight language extension

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2007, Pages 29-40

  Syme, Don ^a   Neverov, Gregory ^b   Margetson, James ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

F ; Functional programming; ML; Pattern matching

Indexed keywords

AD HOC NETWORKS; ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; PROBLEM SOLVING; XML;

ACTIVE PATTERNS; AD HOC PATTERN MATCHING; ALGEBRAIC DATA TYPES (ADT); LIGHTWEIGHT LANGUAGE EXTENSION;

PATTERN MATCHING;

EID: 38849129364     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291151.1291159     Document Type: Conference Paper

References (30)

1. V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-centric general-purpose language. In Proceedings of 2003 ACM SIGPLAN International Conference on Functional Programming. ACM Press, 2003., 2003.
2. F. Warren Burton and Robert D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2): 171-190, 1993.
3. Burak Emir and Martin Odersky. Matching Objects with Patterns. In ECOOP '07, 2007. To appear.
4. Martin Erwig. Active patterns. In Implementation of Functional Languages. Springer, 1997.
5. Martin Erwig and Simon Peyton Jones. Pattern Guards and Transformational Patterns. In Haskell Workshop, 2000.
6. Manuel Fähndrich and John Boyland. Statically checkable pattern abstractions. In International Conference on Functional Programming. ACM, 1997.
7. Pedro Palao Gostanza, Ricardo Pena, and Manuel Nunez. A new look at pattern matching in abstract datatypes. In ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, pages 110-121, New York, NY, USA, 1996. ACM Press.
8. Jim Grundy, Tom Melham, and John O'Leary. A reflective functional language for hardware design and theorem proving. Journal, of Functional Programming, 16(2): 157-196, 2006.
9. Tim Harris, Simon Marlow, Simon Peyton Jones, and Maurice Herlihy. Composable memory transactions. In Principles and Practice of Parallel Programming. ACM, 2005.
10. Haruo Hosoya and Benjamin Pierce. Regular expression pattern matching for XML. ACM SIGPLAN Notices, 36(3):67-80, 2001.
11. Martin Jambon. Micmatch. martin.jambon.free.fr/micmatch.html, 2007.
12. Konstantin Läufer and Martin Odersky. An extension of ML with first-class abstract types. In ACM SIGPLAN Workshop on ML and its Applications, San Francisco, California, pages 78-91, June 1992.
13. Fabrice Le Fessant and Luc Maranget, Optimizing pattern-matching. In Proceedings of the 2001 International Conference on Functional Programming. ACM Press, 2001.
14. Luc Maranget. Warnings for pattern matching. Journal of Functional Programming, 17(3):647-656, 2007.
15. Erik Meijer and Brian Beckman. XLinq: XML Programming Refactored. research.microsoft.com/~emeijer, 2006.
16. Nemerle. Nemerle website, nemerle.org, 2006.
17. Martin Odersky. Scala website, scala.epfl.ch, 2006.
18. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Principles of Programming Languages. ACM, 1997.
19. Chris Okasaki. Views for Standard ML. In SIGPLAN Workshop cm ML, Baltimore, Maryland, USA, pages 14-23, September 1998.
20. Simon Peyton Jones. View patterns: lightweight views for Haskell (wiki entry), hackage.haskell.org/trac/ghc/wiki/ViewPatterns, 2007.
21. Andreas Rossberg. Generalizing layered patterns to conjunctive patterns. successor-ml.org, 2007a. Search for "Generalizing Layered Patterns".
22. Andreas Rossberg. Hamlet S: To Become or Not To Become Successor ML. www.ps.uni-sb.de/hamlet/hamlet-succ-1.3.0S4.pdf, 2007b. Appendix B.17 and B.19.
23. Kevin Scott and Norman Ramsey. When Do Match-compilation Heuristics Matter? Technical Report CS-2000-13, University of Virginia, 2000.
24. Don Syme. Active patterns in F#. blogs.msdn.com/dsyme, 2006a.
25. Don Syme. Leveraging NET meta-programming components from F#: Integrated queries and interoperable heterogeneous execution. In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, 2006b.
26. Don Syme and James Margetson. F# website.research.microsoft.com/fsharp, 2006.
27. Walid Taha and Tim Sheard. Multi-stage programming with explicit annotations. In Partial Evaluation and Semantics-Based Program Manipulation. ACM, 1997.
28. Mark Tullsen. First class patterns. In Practical Aspects of Declarative Languages. Springer, 2000.
29. Philip Wadler. Views: A way for pattern matching to cohabit with data abstraction. In Principles of Programming Languages. ACM, 1987.
30. Hongwei Xi, Chiyan Chen, and Gang Chen. Guarded recursive datatype constructors. In Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 224-235, New York, NY, USA, 2003. ACM Press.