Idris 2: Quantitative Type Theory in Practice.

Published in: ECOOP (2021)

Keyphrases

theoretical framework
theoretical foundation
information theory
quantitative and qualitative
theoretical frameworks
theoretical insights
case study
software development
qualitative and quantitative
theoretical basis
real world
association rules