Bookmark Saya

Semantic Scholar Open Access 1999 620 sitasi

Dependent types in practical programming

H. Xi F. Pfenning
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

H

H. Xi

F

F. Pfenning

Format Sitasi

APA MLA BibTeX
Xi, H., Pfenning, F. (1999). Dependent types in practical programming. https://doi.org/10.1145/292540.292560

Akses Cepat

Lihat di Sumber doi.org/10.1145/292540.292560
Informasi Jurnal
Tahun Terbit
1999
Bahasa
en
Total Sitasi
620×
Sumber Database
Semantic Scholar
DOI
10.1145/292540.292560
Akses
Open Access ✓