What does aspect-oriented programming mean for functional programmers?

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 37-48

  Wang, Meng ^a   Oliveira, Bruno C D S ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Aspect oriented programming; Functional programming; Of concerns; Program extensibility and adaptability; Separation

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; CROSSCUTTING CONCERN; FUNCTIONAL PROGRAMMING COMMUNITY; PROGRAMMING LANGUAGE;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; QUERY LANGUAGES;

FUNCTIONAL PROGRAMMING;

EID: 70450203869     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596614.1596621     Document Type: Conference Paper

References (58)

1. J. Aldrich. Open modules: Modular reasoning about advice. In European Conference on Object-Oriented Programming (ECOOP), pages 144-168, 2005.
2. th international conference on Aspect-oriented software development, pages 87-98, New York, NY, USA, 2005. ACM.
3. R. S. Bird. The promotion and accumulation strategies in transformational programming. ACM Transactions on Programming Languages and Systems (TOPLAS), 6(4):487-504, 1984.
4. M. Blume and D. McAllester. Sound and complete models of contracts. Journal of Functional Programming, 16(4-5):375-414, 2006.
5. G. Bracha and W. Cook. Mixin-based inheritance. In OOPSLA/ECOOP '90: Proceedings of the European conference on objectoriented programming on Object-oriented programming systems, languages, and applications, pages 303-311, New York, NY, USA, 1990. ACM.
6. D. Brown and W. R. Cook. Monadic memoization mixins. Technical Report TR-07-11, The University of Texas, February 2007.
7. th International Symposium, SAS 2007, volume 4634 of LNCS, pages 34-51. Springer-Verlag, 2007.
8. J. Cheney and R. Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90-104. ACM Press, 2002.
9. C. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In FOAL '02: Proceedings of Foundations of Aspect-Oriented Languages Workshop, pages 33-44, 2002.
10. W. R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
11. B. C. d. S. Oliveira. The different aspects of monads and mixins. http://www.comlab.ox.ac.uk/files/2136/Mixins.pdf, 2009.
12. rd European Conference on Object Oriented Programming (ECOOP), July 2009.
13. rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 383-396, New York, NY, USA, 2006. ACM Press.
14. D. S. Dantas, D.Walker, G.Washburn, and S.Weirich. AspectML: A polymorphic aspect-oriented functional programming language. ACM Transactions on Programming Languages and Systems (TOPLAS), 2007.
15. rd international conference on Aspect-oriented software development, pages 141-150, New York, NY, USA, 2004. ACM.
16. R. E. Filman and D. P. Friedman. Aspect-oriented programming is quantification and obliviousness. In Aspect-Oriented Software Development, chapter 2, pages 21-35. Addison-Wesley, Boston, Massachusetts, USA, 2005.
17. R. B. Findler and M. Felleisen. Contracts for higher-order functions. In Int'l Conf. on Functional Programming (ICFP'02), pages 48-59, Oct. 2002.
18. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
19. J. Garrigue. Code reuse through polymorphic variants. In Workshop on Foundations of Software Engineering, Sasaguri, Japan, 2000.
20. B. R. Gaster and M. P. Jones. A polymorphic type system for extensible records and variants. Technical report, 1996. Technical report NOTTCS-TR-96-3, University of Nottingham.
21. J. Gibbons and J. Jeuring, editors. Generic Programming. Kluwer Academic Publishers, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloß Dagstuhl, July 2002.
22. C. V. Hall, K. Hammond, W. Partain, S. L. Peyton Jones, and P. Wadler. The glasgow haskell compiler: A retrospective. In Proceedings of the 1992 Glasgow Workshop on Functional Programming, pages 62-71, London, UK, 1993. Springer-Verlag.
23. R. Hinze. Generics for the masses. J. Functional Programming, 16(4 & 5):451-483, July & September 2006.
24. R. Hinze and J. Jeuring. Generic Haskell: practice and theory. In In Generic Programming, Advanced Lectures, volume 2793 of LNCS, pages 1-56. Springer-Verlag, 2003.
25. R. Hinze, J. Jeuring, and A. Löh. Typed contracts for functional programming. In P. Wadler and M. Hagiya, editors, Eighth International Symposium on Functional and Logic Programming, April 2006.
26. R. Hinze and A. Löh. Generic programming in 3D. Science of Computer Programming, 2007.
27. nd Int. School on Advanced Functional Programming, pages 68-114. Springer- Verlag, 1996.
28. S. Katz. Diagnosis of harmful aspects using regression verification. In FOAL '04: Proceedings of Foundations of Aspect-Oriented Languages Workshop, 2004.
29. th European Conference on Object-Oriented Programming, pages 327-353, London, UK, 2001. Springer-Verlag.
30. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Akşit and S. Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220-242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.
31. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, Mar. 2003. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003).
32. R. Lämmel and S. Peyton Jones. Scrap your boilerplate with class: extensible generic functions. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2005), pages 204-215. ACM Press, Sept. 2005.
33. K. Läufer. What functional programmers can learn from the Visitor Pattern. Technical report, Loyola University Chicago, March 2003.
34. D. Leijen. Extensible records with scoped labels. In Symposium on Trends in Functional Programming, pages 297-312, 2005.
35. X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system release 3.09 - documentation and users manual, 2007. Institut National de Recherche en Informatique et en Automatique.
36. Libra academic search website. http://libra.msra.cn/papercategory4.htm.
37. K. Lieberherr, D. H. Lorenz, and J. Ovlinger. Aspectual collaborations: Combining modules and aspects. The Computer Journal, 46:2003, 2003.
38. A. Löh and R. Hinze. Open datatypes and open functions. In Principles and Practice of Declarative Programming, 2006.
39. H. Masuhara, H. Tatsuzawa, and A. Yonezawa. Aspectual Caml: an aspect-oriented functional language. In Proc. of the tenth ACM SIGPLAN International Conference on Functional Programming, pages 320-330. ACM Press, Sept. 2005.
40. B. J. McAdam. That about wraps it up - using fix to handle errors without exceptions, and other programming tricks. Technical report, Laboratory for Foundations of Computer Science, The University of Edinburgh, 1997.
41. C. McBride and R. Paterson. Applicative programming with effects. Journal of Functional Programming, 18(1):1-13, 2008.
42. B. Meyer. Eiffel : The Language. Prentice Hall PTR, 1991.
43. T. Millstein, C. Bleckner, and C. Chambers. Modular typechecking for hierarchically extensible datatypes and functions, 2002.
44. B. C. d. S. Oliveira and J. Gibbons. TypeCase: a design pattern for type-indexed functions. In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 98-109, New York, NY, USA, 2005. ACM.
45. B. C. d. S. Oliveira, R. Hinze, and A. Löh. Extensible and modular generics for the masses. In H. Nilsson, editor, Trends in Functional Programming, April 2007.
46. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. SIGSOFT Softw. Eng. Notes, 29(6):147-158, 2004.
47. st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 481-497, New York, NY, USA, 2006. ACM Press.
48. W. Swierstra. Data types à la carte. Journal of Functional Programming, 18(4):423-436, 2008.
49. T. Uustalu and V. Vene. Comonadic notions of computation. Electronic Notes in Theoretical Computer Science, 203(5):263 - 284, 2008.
50. P. Wadler. Theorems for free! In Functional Programming and Computer Architecture, 1989.
51. P. Wadler and S. Blott. How to make ad-hoc polymorphism less adhoc. In Principles of Programming Languages, pages 60-76. ACM, Jan. 1989.
52. M. Wang, K. Chen, and S.-C. Khoo. Type-directed weaving of aspects for higher-order functional languages. In Partial Evaluation and Program Manipulation, pages 78-87. ACM Press, 2006.
53. th Annual IEEE Symposium on Logic in Computer Science, pages 62-71, Washington, DC, USA, 2005. IEEE Computer Society.
54. G. Washburn and S. Weirich. Good advice for type-directed programming. In Workshop on Generic Programming 2006. ACM Press, 2006.
55. G. Washburn and S. Weirich. Good advice for type-directed programming aspect-oriented programming and extensible generic functions. In Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, pages 33-44, New York, NY, USA, 2006. ACM Press.
56. S. Weirich. Type-safe cast: Functional pearl. In In Proc. ICFP, Montreal, pages 58-67. ACM Press, 2000.
57. S. Weirich. RepLib: a library for derivable type classes. In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, pages 1-12, New York, NY, USA, 2006. ACM Press.
58. M. Zenger and M. Odersky. Extensible algebraic datatypes with defaults. In Proceedings of the International Conference on Functional Programming, Firenze, Italy, September 2001.