Nonuniform Coercions via Unification Hints

Claudio Sacerdoti Coen Enrico Tassi

Published in: TYPES (2009)

Keyphrases

higher order
theorem prover
e learning
case study
special case
multi dimensional
virtual environment
equational theories