Subject reduction in a Curry-style polymorphic type system with a vectorial structure

Pablo Arrighi Alejandro Díaz-Caro Benoît Valiron

Published in: DCM (2011)

Keyphrases

type checking
structural properties
database systems
real time
web pages
multimedia
high level
similarity measure
wide range
special case