• 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
Conference article
2003

An effective theory of type refinements

Mandelbaum, Y., Walker, D. & Harper, R., Sep 2003, In : ACM SIGPLAN Notices. 38, 9, p. 213-225 13 p.

Research output: Contribution to journalConference article

20 Scopus citations

A theory of aspects

Walker, D., Zdancewic, S. & Ligatti, J., Sep 2003, In : ACM SIGPLAN Notices. 38, 9, p. 127-139 13 p.

Research output: Contribution to journalConference article

23 Scopus citations

Reasoning about hierarchical storage

Ahmed, A., Jia, L. & Walker, D., Sep 1 2003, In : Proceedings - Symposium on Logic in Computer Science. p. 33-44 12 p.

Research output: Contribution to journalConference article

16 Scopus citations
1999

Typed memory management in a calculus of capabilities

Crary, K., Walker, D. & Morrisett, G., Jan 1 1999, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 262-275 14 p.

Research output: Contribution to journalConference article

124 Scopus citations
1998

From system F to typed assembly language

Morrisett, G., Walker, D., Crary, K. & Glew, N., Jan 1 1998, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 85-97 13 p.

Research output: Contribution to journalConference article

197 Scopus citations