Concepedia

Publication | Closed Access

A Syntactic Approach to Type Soundness

1.1K

Citations

22

References

1994

Year

References

YearCitations

Page 1