Tipo y tiempo de ejecución, y esquemas demostrativos