Semantic Scholar
Open Access
1988
454 sitasi
Abstract types have existential type
John C. Mitchell
G. Plotkin
Topik & Kata Kunci
Penulis (2)
J
John C. Mitchell
G
G. Plotkin
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 1988
- Bahasa
- en
- Total Sitasi
- 454×
- Sumber Database
- Semantic Scholar
- DOI
- 10.1145/44501.45065
- Akses
- Open Access ✓