Publication
Detail
Publication date: 17/02/2021Refinement kinds: type-safe programming with practical type-level computation
| URL | https://doi.org/10.1145/3360557 |
|---|---|
| Journal | ACM Transactions in Computational Logic |
| Publisher | ACM |
| Volume | 3 |
| Book title | ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2019) |
| URL | https://doi.org/10.1145/3360557 |
| Journal | ACM Transactions in Computational Logic |
| Publisher | ACM |
| Volume | 3 |
| Book title | ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2019) |