No label defined (Q4580232)
From MaRDI portal
scientific article; zbMATH DE number 6917249
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 6917249 |
Statements
13 August 2018
0 references
dependently typed programming
0 references
Agda
0 references
EDSL
0 references
hardware description languages
0 references
functional programming
0 references
