CoFI with Don Sannella

This article first summarises the origins of CoFI and the motivation for Casl. It then recalls some of the crucial contributions to CoFI made by Don Sannella, and concludes with an indication of the impact of CoFI.