AspectML: . . . functional programming language

AspectML: . . . functional programming language (2008)

Cached

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

BibTeX

@MISC{Dantas08aspectml:.,
    author = {Daniel Dantas and David Walker and Geoffrey Washburn and Stephanie Weirich},
    title = {AspectML: . . . functional programming language},
    year = {2008}
}

Bookmark

OpenURL

Abstract

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1990
997	The Lambda Calculus, its Syntax and Semantics - Barendregt - 1984
874	A theory of type polymorphism in programming - Milner - 1978
428	A note on inductive generalization - Plotkin - 1970
388	Enforceable security policies - Schneider - 2000
221	Principal type schemes for functional programs - Damas, Milner - 1982
179	1999], SASI enforcement of security policies: a retrospective - Erlingsson, Schneider
150	Local type inference - Pierce, Turner
132	Flexible policy-directed code safety - Evans, Twyman - 1999
129	Simple unification-based type inference for GADTs - Jones, Vytiniotis, et al. - 2006
125	Composition, reuse and interaction analysis of stateful aspects - Douence, Fradet, et al. - 2004
121	Open modules: Modular reasoning about advice - Aldrich
119	IRM enforcement of Java stack inspection - Erlingsson, Schneider - 2000
112	A formal definition of crosscuts - Douence, Motelet, et al.
94	A semantics for advice and dynamic join points in aspect-oriented programming - Wand, Kiczales, et al. - 2003
89	Access control based on execution history - Abadi, Fournet - 2003
83	Stack inspection: theory and variants - Fournet, Gordon - 2003
81	Observers and Assistants: A Proposal for Modular Aspect-oriented Reasoning - Clifton, Leavens - 2002
80	A type-theoretic interpretation of Standard ML. Proof, language, and interaction: Essays in honor of robin milner - Harper, Stone - 2000
78	Practical type inference for arbitrary-rank types - Jones, Vytiniotis, et al. - 2007
71	Enforcing trace properties by program transformation - Colcombet, Fradet - 2000
70	A theory of aspects - Walker, Zdancewic, et al. - 2003
68	Aspectual collaborations – combining modules and aspects - Lieberherr, Lorenz, et al. - 2003
66	Harmless advice - Dantas, Walker
65	Runtime assurance based on formal specifications - Lee, Kannan, et al. - 1999
60	Towards a mechanized metatheory of Standard ML - Lee, Crary, et al.
49	Aspect-Oriented Software Development - Filman, Friedman - 2005
49	Information hiding interfaces for aspect-oriented design - Sullivan, Griswold, et al. - 2005
45	Pointcuts and advice in higher-order languages - Tucker, Krishnamurthi - 2003
41	A calculus of untyped aspectoriented programs - Jagadeesan, Jeffrey, et al. - 2003
39	2002. Compilation semantics of aspect-oriented programs - Masuhara, Kiczales, et al.
38	Formally specified monitoring of temporal properties - Kim, Viswanathan, et al. - 1999
35	AspectML: A polymorphic aspect-oriented functional programming language - Dantas, Walker, et al. - 2008
34	Scrap Your Boilerplate” Reloaded - Hinze, Löh, et al. - 2006
32	Stratified type inference for generalized algebraic data types - Pottier, Régis-Gianas
29	Boxy types: inference for higher-rank types and impredicativity - Vytiniotis, Weirich, et al. - 2006
28	An extension of ML with first-class abstract types - Läufer, Odersky - 1992
28	Aspectual Caml: An aspect-oriented functional language - Masuhara, Tatsuzawa, et al. - 2005
23	Patch(1) considered harmful - Fiuczynski, Cody, et al. - 2005
23	Constraint-based type inference for guarded algebraic data types - Simonet, Pottier - 2005
21	Putting Curry-Howard to work - Sheard - 2005
16	Aspects, information hiding and modularity - Dantas, Walker - 2003
12	Type inference for gadts via herbrand constraint abduction - Sulzmann, Schrijvers, et al. - 2006
10	Semantics of static pointcuts in AspectJ - Avgustinov, Hajiyev, et al. - 2007
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.
8	On the pursuit of staticness and coherence - Wang, Chen, et al.
7	Composing security policies in polymer - Bauer, Ligatti, et al. - 2005
6	muABC: A minimal aspect calculus - Bruns, Jagadeesan, et al. - 2004
3	Programming Languages: Theory and Practice. In preparation, a draft can be obtained from http://www.cs.cmu.edu/~rwh/plbook - Harper