Travelled to:1 × Italy
Collaborated with:C.A.Baker-Finch ∅
Talks about:analysi (2) techniqu (1) strict (1) reduct (1) natur (1) usag (1) type (1) new (1)
Person: David A. Wright
DBLP: Wright:David_A=
Contributed to:
1993
1991Wrote 2 papers:
- WSA-1993-WrightB #analysis #reduction
- Usage Analysis with Natural Reduction Types (DAW, CABF), pp. 254–266.
- CCPSD-1991-Wright #analysis #strict
- A New Technique for Strictness Analysis (DAW), pp. 235–258.