Annotated Type and Effect Systems
F. Nielson
Type
Misc [Other]
Journal/Book/Conference
ACM Computing Surveys
Year
1996
Vol.
28
No.
2
pp.
344-345
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering