Detail

Publication date: 24 de July, 2024

Refinement kinds: type-safe programming with practical type-level computation


Pub. Date 17/02/2021
Publisher ACM
Journal ACM Transactions in Computational Logic