Caliban: A Programming Language and Environment Based on Types as Specifications (1991)

by Dominic Duggan