• 5421 Citations
  • 35 h-Index
19982021

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
2005

Composing security policies with polymer

Bauer, L., Ligatti, J. & Walker, D. P., Dec 1 2005, p. 305-314. 10 p.

Research output: Contribution to conferencePaper

88 Scopus citations
2003

An Effective Theory of Type Refinements

Mandelbaum, Y., Walker, D. P. & Harper, R., Dec 1 2003, p. 213-225. 13 p.

Research output: Contribution to conferencePaper

30 Scopus citations

A Theory of Aspects

Walker, D. P., Zdancewic, S. & Ligatti, J., Dec 1 2003, p. 127-139. 13 p.

Research output: Contribution to conferencePaper

53 Scopus citations
2001

On regions and linear types

Walker, D. & Watkins, K., Jan 1 2001, p. 181-192. 12 p.

Research output: Contribution to conferencePaper

29 Scopus citations