Type Theory and Projections for Static Analysis

Authors
C.A.Backer-Finch
Citation
C.a.backer-finch, Type Theory and Projections for Static Analysis, LISP and symbolic computation , 8(3), 1995, pp. 267-284
Journal title
LISP and symbolic computation → ACNP
ISSN journal
08924635
Volume
8
Issue
3
Year of publication
1995
Pages
267 - 284
Database
ACNP
SICI code