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