Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version).

Luís Caires Bernardo Toninho

Published in: CoRR (2019)

Keyphrases

real time
information systems
decision making
higher level
real world
data mining
knowledge base
object oriented
medical images