Semantic Scholar Open Access 2009 442 sitasi

Dependently typed programming in Agda

U. Norell

Topik & Kata Kunci

Penulis (1)

U

U. Norell

Format Sitasi

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 ✓