An Empirical Study on Limits of Clone Unification Using Generics.

Hamid Abdul Basit Damith C. Rajapakse Stan Jarzabek

Published in: SEKE (2005)

Keyphrases

higher order
databases
high quality
probabilistic model
knuth bendix
equational theories