Bookmark Saya

Semantic Scholar Open Access 1994 1315 sitasi

A Syntactic Approach to Type Soundness

Andrew K. Wright M. Felleisen
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science Mathematics

Penulis (2)

A

Andrew K. Wright

M

M. Felleisen

Format Sitasi

APA MLA BibTeX
Wright, A.K., Felleisen, M. (1994). A Syntactic Approach to Type Soundness. https://doi.org/10.1006/INCO.1994.1093

Akses Cepat

Lihat di Sumber doi.org/10.1006/INCO.1994.1093
Informasi Jurnal
Tahun Terbit
1994
Bahasa
en
Total Sitasi
1315×
Sumber Database
Semantic Scholar
DOI
10.1006/INCO.1994.1093
Akses
Open Access ✓