A relationally parametric model of dependent type theory.

Robert Atkey Neil Ghani Patricia Johann

Published in: POPL (2014)

Keyphrases

parametric models
case study
theoretical framework
flow field
general theory
semi parametric
artificial intelligence
image segmentation
theoretical basis
imaging artifacts