| Original language | English |
|---|---|
| Title of host publication | TyDe 2019 |
| Subtitle of host publication | Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, Berlin, Germany, August 18 2019 |
| Place of Publication | New York |
| Publisher | Association for Computing Machinery |
| ISBN (Print) | 978-1-4503-6815-5 |
| Publication status | Published - 2019 |
Formal Investigation of the Extended UTxO Mode: Extended Abstract
Orestis Melkonian, W.S. Swierstra, Manuel Chakravarty
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review