The algebraic types with laws in MirandaTM - fixpoints of idempotent functions as types
- Författare
- Erik Marklund
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Univ. | 1995 | Sverige, Umeå | 45 sidor. |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Univ. | 1995 | Sverige, Umeå | 45 sidor. |