A pattern for almost compositional functions

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

Volumn 2006, Issue , 2006, Pages 216-226

  Bringert, Bjørn ^a   Ranta, Aarne ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Abstract syntax; Dependent type theory; Haskell; Java; Traversal; Visitor pattern

Indexed keywords

ABSTRACT SYNTAX; DEPENDENT TYPE THEORY; VISITOR PATTERN;

ALGORITHMS; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; RECURSIVE FUNCTIONS;

FUNCTIONAL PROGRAMMING;

EID: 34247205386     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159834     Document Type: Conference Paper

References (22)

1. ALEXANDRESCU, A. Modern C+ + Design: Generic Programming and Design Patterns Applied. Addison-Wesley Professional, Feb. 2001.
2. APPEL, A. W. Modern Compiler Implementation in ML. Cambridge University Press, 1998.
3. APPEL, A. W. Modern Compiler Implementation in Java, second ed. Cambridge University Press, 2002.
4. BRINGEST, B. The Transfer programming language, http://www.cs.chalmers.se/~aarne/GF/doc/transfar.html.
5. COQUAND, C. The Agda homepage. http://www.cs.chalmers.se/ ~catarina/agda/.
6. FORSBERG, M., AND RANTA, A. BNF Converter homepage. http://www.cs.chalmers.sa/~markus/BNFC/.
7. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Massachusetts, 1994.
8. HINZE, R. Generics for the masses. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming (New York, NY, USA, 2004), ACM Press, pp. 236-243.
9. HINZE, R., LÖH, A., AND OLTVEIRA, B. C. D. S. "Scrap Your Boilerplate" reloaded. In FLOPS (2006), M. Hagiya and P. Wadler, Eds., vol. 3945 of Lecture Notes in Computer Science, Springer, pp. 13-29.
10. JANSSON, P., AND JEURING, J. PolyP - a polytypic programming language extension. In POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1997), ACM Press, pp. 470-482.
11. JONES, M. P. Functional programming with overloading and higherorder polymorphism. In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (London, UK, 1995), Springer-Verlag, pp. 97-136.
12. JONES, S. P. The Haskell 98 language. Journal of Functional Programming 13, 1 (2003).
13. JONES, S. P., VYTINIOTIS,D., WEIRICH, S., AND WASHBURN,G. Simple unification-based type inference for GADTs. Submitted to ICFP'06. http://research.microsoft.com/Users/simonpj/papers/ gadt/, Apr. 2006.
14. LÄMMEL, R., AND PEYTON JONES, S. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices 38, 3 (Mar. 2003), 26-37. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI2003).
15. LEE, L.-Q., LUMSDAINE, A., AND SIEK, J. G. The Boost graph library: user guide, and reference, manual. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
16. MCBRIDE, C., AND PATERSON, R. Applicative programming with effects. Submitted to Journal of Functional Programming, http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf.
17. PELLAUER, M., FORSBERG, M., AND RANTA, A. BNF Converter: Multilingual front-end generation from labelled BNF. Tech. Rep. 2004-09, Department of Computing Science, Chalmers University of Technology and Göteborg University, 2004. http://www.cs.chalmars.se/~markus/tech2004.pdf.
18. PETERSSON, K., AND SYNEK, D. A set constructor for inductive sets in Martin-Löfs type theory. In Category Theory and Computer Science (1989), pp. 128-140.
19. RANTA, A. Grammatical Framework, a type-theoretical grammar formalism. The Journal of Functional Programming 14, 2 (2004), 145-189. http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz.
20. SHEARD, T., AND PEYTON JONES, S. Template metaprogramming for Haskell. In ACM SIGPLAN Haskell Workshop 02 (Oct. 2002), M. M. T. Chakravarty, Ed., ACM Press, pp. 1-16.
21. VISSER, J. Visitor combination and traversal control. In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications (New York, NY, USA, 2001), ACM Press, pp. 270-282.
22. WINSTANLEY, N., WALLACE, M., AND MEACHAM, J. The DrIFT homepage. http://rapetae.nat/~john/computer/ haskell/DrIFT/.