union and intersection types for program extraction (1994)

by S Hayashi, Singleton
Venue:Information and Computation