Generic Programming In Space And Time