Articles details
- Refinement kinds: type-safe programming with practical type-level computation
-
17 Feb 2021
-
ACM Transactions in Computational Logic
-
ACM
-
Luis Caires,
Bernardo Toninho
-
-
3
-
-
-
-
https://doi.org/10.1145/3360557
-
-
DBLP:journals/pacmpl/CairesT19
-
10.1145/3360557
-
1 to 30
-
17 Feb 2021