Bookmark Saya

Semantic Scholar Open Access 2009 442 sitasi

Dependently typed programming in Agda

U. Norell
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

U

U. Norell

Format Sitasi

APA MLA BibTeX
Norell, U. (2009). Dependently typed programming in Agda. https://doi.org/10.1145/1481861.1481862

Akses Cepat

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