Shape-Constrained Array Programming with Size-Dependent Types.

Lubin Bailly Troels Henriksen Martin Elsman

Published in: FHPNC (2023)

Keyphrases

shape representation
shape model
aspect ratio
programming language
shape change
programming environment
shape matching
shape analysis
computational complexity
shape prior
small size
shape recognition
shape descriptors
shape retrieval
shape description
case study
arbitrarily shaped
neural network