A pattern for almost compositional functions

ACM SIGPLAN Notices

Volumn 41, Issue 9, 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; HASKELL; TRAVERSAL; VISITOR DESIGN PATTERN;

ABSTRACTING; ALGEBRA; COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE;

RECURSIVE FUNCTIONS;

EID: 33750392891     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1160074.1159834     Document Type: Article

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. BRINGERT, B. The Transfer programming language, http: //www.cs.chalmers.se/~aarne/GF/doc/transfer.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.se/~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 (TLDI 2003).
15. LEE, L.-Q., LUMSDATNE, 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.sol.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. chalmers.se/~markus/tech2004.pdf.
18. PETERSSON, K., AND SYNEK, D. A set constructor for inductive sets in Martin-Löf's 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.net/~john/computer/haskell/ DrIFT/.