Idris 2: Quantitative Type Theory in Practice (Artifact).

Published in: Dagstuhl Artifacts Ser. (2021)

Keyphrases

theoretical basis
theoretical framework
theoretical insights
real time
neural network
mobile devices
general theory
database
information systems
rough sets
quantitative and qualitative
multiple types