C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Why dependent types matter.
James McKinna
Published in:
POPL (2006)
Keyphrases
</>
preprocessing
data sets
genetic algorithm
real time
databases
computer vision
information technology