Practical heterogeneous unification for dependent type checking
- Författare
- Victor López Juan
- (Víktor López Juan.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2021 | Sverige, Göteborg | xii, 207 sidor illustrationer | 978-91-7905-583-7 |