and intersection types for program extraction (1994)

by Susumu Hayashi
Venue:Information and Computation