David A. Wright

Publication Activity (10 Years)

Years Active: 1991-2003
Publications (10 Years): 0

Publications

David A. Wright
Linearity and Passivity. Electron. Notes Theor. Comput. Sci. 78 (2003)
David A. Wright, Clement A. Baker-Finch
Usage Analysis with Natural Reduction Types. WSA (1993)
David A. Wright
A New Technique for Strictness Analysis. TAPSOFT, Vol.2 (1991)