articles
Detail
Publication date: 3 de March, 2022Publication Refinement kinds: type-safe programming with practical type-level computation – Journal ACM Transactions in Computational Logic
| Journal | ACM Transactions in Computational Logic |
|---|---|
| Publisher | ACM |
| Volume | 3 |
| Pub. Date | 17/02/2021 |