in_proceedings
Detail
Publication date: 24 de July, 2024Refinement kinds: type-safe programming with practical type-level computation
Pub. Date | 17/02/2021 |
---|---|
Publisher | ACM |
Journal | ACM Transactions in Computational Logic |
Pub. Date | 17/02/2021 |
---|---|
Publisher | ACM |
Journal | ACM Transactions in Computational Logic |