Tracking the Flow of Ideas through the Programming Languages Literature.
Michael Greenberg, Kathleen Fisher, and David Walker.
SNAPL: The Inaugural Summit on Advances in Programming Languages, May 2015.
(website)
(pdf)

A Dual Semantics
for the Data Description Calculus (Extended Abstract). Yitzhak
Mandelbaum, Kathleen Fisher and David Walker. In the Eighth
Symposium on Trends in Functional Programming, April 2007. (pdf)

Static Typing for
a Faulty Lambda Calculus. David Walker, Lester Mackey, Jay Ligatti,
George Reis, and David August. ACM SIGPLAN International Conference on
Functional Programming. September 2006. (pdf)

Making
Extensibility of System Software Practical with the C4 Toolkit. Marco
Yuen, Marc E. Fiuczynski, Robert Grimm, Yvonne Coady and David Walker. Workshop
on Software Engineering Properties of Languages and Aspect Technologies.
March 2006. (pdf)

Modal Proofs As Distributed
Programs (extended abstract). Limin Jia and David Walker.
In the European Symposium on Programming, LNCS 2986, David Schmidt (Ed.), pp.
219--233, Springer, April, 2004. (pdf)
See below for an extended technical report on this topic.

A Concurrent Logical Framework: The Propositional
Fragment. Kevin Watkins, Iliano Cervesato, Frank Pfenning
and David Walker. In S. Berari, M. Coppo, and F. Damiani, Ed,
Types for Proofs and Programs, Lecture Notes in Computer Science 3085,
Springer-Verlag, pages 355-377, 2004. Revised selected papers and from
the Third International Workshop along the Types for Proofs and Program,
Torino, Italy, April 2003.(pdf)
See below for two technical reports on this topic.

[2003]

A Theory of Aspects.
David Walker, Steve Zdancewic and Jay Ligatti. In the
ACM SIGPLAN International Conference on Functional Programming, August 2003. (pdf)

An Effective Theory of Type Refinements.
Yitzhak Mandelbaum, David Walker and Robert Harper. In the
ACM SIGPLAN International Conference on Functional Programming, August 2003. (pdf)
See below for an extended technical report on this topic.

On Linear Types and Regions. David Walker and Kevin Watkins. In ACM SIGPLAN International Conference on Functional Programming, September 2001.
(pdf) A previous version of this work appeared in the Workshop on Semantics, Program Analysis and Computing Environments for Memory Management. London, UK, January 2001.
(pdf)

A Type System for Expressive Security Policies. David Walker. Twenty-Seventh ACM SIGPLAN Symposium on Principles of Programming Languages . pages 254-267, Boston, January 2000.
(pdf) A previous version of this paper appeared in the FLOC '99 Workshop on Run-time Result Verification. Trento, Italy, July 1999.