union and intersection types for program extraction (0)

by Singleton
Venue:In Ito and Meyer [80