Coercion Synthesis in Computer Implementations of Type-Theoretic Frameworks.

Published in: TYPES (1996)

Keyphrases

computer systems
efficient implementation
wide range
computer programs
program synthesis
database
data mining
three dimensional
search algorithm
computer technology
texture synthesis