| Original language | English |
|---|---|
| Place of Publication | Shelter Island |
| Publisher | Manning Publications Co. |
| Number of pages | 480 |
| ISBN (Print) | 9781617293023 |
| Publication status | Published - Mar 2017 |
Type-driven development with Idris
Research output: Book/Report › Book