Towards reasoning about state transformer monads in Agda
- Författare
- Ha Viet Bui
- (Ha Viet Bui.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2009 | Sverige, Göteborg | 41 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2009 | Sverige, Göteborg | 41 sidor. ill. |