PolyAML: A polymorphic aspect-oriented functional programming language

ACM SIGPLAN Notices

Volumn 40, Issue 9, 2005, Pages 306-319

  Dantas, Daniel S ^a   Walker, David ^a   Washburn, Geoffrey ^b   Weirich, Stephanie ^b  

^a Princeton University   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Ad hoc polymorphism; Aspects oriented programming; Functional programming; Type inference; Type systems

Indexed keywords

AD-HOC POLYMORPHISM; ASPECTS-ORIENTED PROGRAMMING; FUNCTIONAL PROGRAMMING; TYPE INFERENCE; TYPE SYSTEMS;

ALGORITHMS; DIGITAL LIBRARIES; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745208995     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1090189.1086404     Document Type: Article

References (41)

1. J. Aldrich. Open modules: A proposal for modular reasoning in aspect-oriented programming. In Workshop on Foundations of Aspect-Oriented Languages, Mar. 2004.
2. J. Aldrich. Open modules: Reconciling extensibility and information hiding. In Proceedings of the Software Engineering Properties of Languages for Aspect Technologies, Mar. 2004.
3. L. Bauer, J. Ligatti, and D. Walker. Composing security policies in polymer. In ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2005. To appear.
4. G. Bruns, R. Jagadeesan, A. S. A. Jeffrey, and J. Riely. muABC: A minimal aspect calculus. In Concur, pages 209-224, Apr. 2004.
5. C. Clifton and G. T. Leavens. Assistants and observers: A proposal for modular aspect-oriented reasoning. In Foundations of Aspect Languages, Apr. 2002.
6. T. Colcombet and P. Fradet. Enforcing trace properties by program transformation. In Twenty-Seventh ACM Symposium on Principles of Programming Languages, pages 54-66, Boston, Jan. 2000. ACM Press.
7. A. Colyer and A. Clement. Large-scale AOSD for middleware. In Proceedings of the Third International Conference on Aspect-Oriented Software Development, pages 56-65. ACM Press, 2004.
8. L. Damas and R. Milner. Principal type schemes for functional programs. In ACM Symposium on Principles of Programming Languages, pages 207-212, Albuquerque, New Mexico, 1982.
9. D. S. Dantas and D. Walker. Aspects, information hiding and modularity. Technical Report TR-696-04, Princeton University, Nov. 2003.
10. D. S. Dantas and D. Walker. Harmless advice. In Workshop on Foundations of Object-Oriented Languages, Jan. 2005.
11. D. S. Dantas, D. Walker, G. Washburn, and S. Weirich. PolyAML: A polymorphic aspect-oriented functional programmming language (extended version). Technical Report MS-CIS-05-07, University of Pennsylvania, May 2005.
12. R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, volume 2192 of Lecture Notes in Computer Science, pages 170-186, Berlin, Sept. 2001. Springer-Verlag.
13. R. Douence, O. Motelet, and M. Südholt. Composition, reuse and interaction analysis of stateful aspects. In Conference on Aspect-Oriented Software Development, pages 141-150, Mar. 2004.
14. Úlfar. Erlingsson and F. B. Schneider. SASI enforcement of security policies: A retrospective. In Proceedings of the New Security Paradigms Workshop, pages 87-95, Caledon Hills, Canada, Sept. 1999.
15. Úlfar. Erlingsson and F. B. Schneider. IRM enforcement of Java stack inspection. In IEEE Symposium on Security and Privacy, pages 246-255, Oakland, California, May 2000.
16. D. Evans and A. Twyman. Flexible policy-directed code safety. In IEEE Security and Privacy, Oakland, CA, May 1999.
17. R. E. Filman and D. P. Friedman. Aspect-Oriented Software Development, chapter Aspect-Oriented Programming is Quantification and Obliviousness. Addison-Wesley, 2005.
18. M. Fiuczynski, Y. Cody, R. Grimm, and D. Walker. Patch(1) considered harmful. In HotOS, July 2005. To appear.
19. R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of typed aspect-oriented programs. Unpublished manuscript., 2003.
20. R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In European Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003.
21. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In European Conference on Object-oriented Programming. Springer-Verlag, 2001.
22. M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. Formally specified monitoring of temporal properties. In European Conference on Real-time Systems, York, UK, June 1999.
23. I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 1999.
24. X. Leroy. The Objective Caml system: Documentation and user's manual, 2000. With Damien Doligez, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. Available from http://caml.inria.fr.
25. K. J. Lieberherr, D. Lorenz, and J. Ovlinger. Aspectual collaborations - combining modules and aspects. The Computer Journal, 46(5):542-565, September 2003.
26. H. Masuhara, G. Kiczales, and C. Dutchyn. Compilation semantics of aspect-oriented programs. In G. T. Leavens and R. Cytron, editors, Foundations of Aspect-Oriented Languages Workshop, pages 17-25, Apr. 2002.
27. D. Miller. Unification under a mixed prefix. Journal of Symbolic Computation, 14(4):321-358, 1992.
28. R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17(3), 1978.
29. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
30. S. Peyton Jones, D. Vytiniotis, S. Weirich, and M. Shields. Practical type inference for arbitrary-rank types. Submitted to the Journal of Functional Programming, 2005.
31. S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: Practical type inference for generalised algebraic dataypes. Available at http://www.cis.upenn.edu/~geoffw/research/, July 2004.
32. B. C. Pierce and D. N. Turner. Local type inference. In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 252-265, San Diego, CA, 1998.
33. M. Shields and S. Peyton Jones. Lexically scoped type variables. Microsoft Research. Available at http://research.microsoft. com/Users/simonpj/ papers/scoped-tyvars, 2002.
34. V. Simonet and F. Pottier. Constraint-based type inference for guarded algebraic data types. Technical Report Research Report 5462, INRIA, Jan. 2005.
35. P. J. Stuckey and M. Sulzmann. Type inference for guarded recursive data types. Submitted for publication, Feb. 2005.
36. H. Tatsuzawa, H. Masuhara, and A. Yonezawa. Aspectual Caml: An aspect-oriented functional language. In Workshop on Foundations of Aspect Oriented Languages, pages 39-50, Mar. 2005.
37. D. B. Tucker and S. Krishnamurthi. Pointcuts and advice in higher-order languages. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages 158-167, 2003.
38. D. Vytiniotis, S. Weirich, and S. Peyton Jones. Boxy type inference for higher-rank types and impredicativity. Available at http://www.cis.upenn.edu/ ~dimitriv/boxy/, April 2005.
39. D. Walker, S. Zdancewic, and J. Ligatti. A theory of aspects. In ACM International Conference on Functional Programming, Uppsala, Sweden, Aug. 2003.
40. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. TOPLAS, 2003.
41. G. Washburn and S. Weirich. Generalizing parametricity using information flow. In The 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), Chicago, IL, June 2005.