PolyAML: A polymorphic aspect-oriented functional programming language (Extended Version)

PolyAML: A polymorphic aspect-oriented functional programming language (Extended Version) (2005)

Cached

Download Links

by Daniel S. Dantas , David Walker , Geoffrey Washburn , Stephanie Weirich

Citations:

BibTeX

@MISC{Dantas05polyaml:a,
    author = {Daniel S. Dantas and David Walker and Geoffrey Washburn and Stephanie Weirich},
    title = { PolyAML: A polymorphic aspect-oriented functional programming language (Extended Version)},
    year = {2005}
}

Bookmark

OpenURL

Abstract

Citations

973	An overview of AspectJ - KICZALES, HILSDALE, et al. - 2001
873	A theory of type polymorphism in programming - Milner - 1978
573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
221	Principal type schemes for functional programs - Damas, Milner - 1982
179	SASI enforcement of security policies: a retrospective - Erlingsson, Schneider - 1999
150	Local type inference - Pierce, Turner
132	Flexible policy-directed code safety - Evans, Twyman - 1999
125	Composition, reuse and interaction analysis of stateful aspects - Douence, Fradet, et al. - 2004
109	Unification under a mixed prefix - Miller - 1992
94	A semantics for advice and dynamic join points in aspect-oriented programming - Wand, Kiczales, et al. - 2003
78	Practical type inference for arbitrary-rank types - Jones, Vytiniotis, et al. - 2007
68	Aspectual collaborations – combining modules and aspects - Lieberherr, Lorenz, et al. - 2003
66	Harmless advice - Dantas, Walker
59	The Objective Caml system: Documentation and user's manual, 2000 - Leroy
45	Pointcuts and advice in higher-order languages - Tucker, Krishnamurthi - 2003
41	A calculus of untyped aspectoriented programs - Jagadeesan, Jeffrey, et al. - 2003
34	Open Modules: “A Proposal for Modular Reasoning in Aspect-Oriented Programming”, Carnegie Mellon - Aldrich
29	µabc: A minimal aspect calculus - Bruns, Jagadeesan, et al. - 2004
29	Aspectual Caml: an aspect-oriented functional language - MASUHARA, TATSUZAWA, et al. - 2005
23	Constraint-based type inference for guarded algebraic data types - Simonet, Pottier - 2005
23	Patch(1) considered harmful - Fiuczynski, Cody, et al. - 2005
14	Type inference for guarded recursive data types - Stuckey, Sulzmann - 2005
13	Generalizing parametricity using information flow - Washburn, Weirich - 2005
9	Lexically scoped type variables. Microsoft Research. Available at http://research.microsoft.com/Users/simonpj/papers/scoped-tyvars - Shields, Jones, et al. - 2002
8	A calculus of typed aspect-oriented programs. Unpublished manuscript - Jagadeesan, Jeffrey, et al.
6	muABC: A minimal aspect calculus - Bruns, Jagadeesan, et al. - 2004
5	Assistants and observers: A proposal for modular aspect-oriented reasoning - Clifton, Leavens - 2002
4	Aspect-Oriented Software Development, chapter Aspect-Oriented Programming is Quantification and Obliviousness - Filman, Friedman - 2005
2	Formally specified monitoring of temporal properties - Lee, Sokolsky - 1999
2	and Shriram Krishnamurthi. Pointcuts and advice in higher-order languages - Tucker - 2003
1	Thomas Colcombet and Pascal Fradet. Enforcing trace properties by program transformation - Press - 2004
1	2004. 33 [SP05] [SS05] [TK03] [TMY05] [VWP05] [WKD03] [WW05] Mark Shields and Simon Peyton Jones. Lexically scoped type variables. Microsoft Research. Available at http://research.microsoft.com/Users/simonpj/ papers/scoped-tyvars - edu