Type Diversity and Virtual Bayesian Implementation Creation-Date: 2000