Generic Programming with Dependent Types.

Stephanie Weirich Chris Casinghino

Published in: SSGIP (2010)

Keyphrases

domain specific
search algorithm
programming language
website
image segmentation
multiresolution
development environment