Conference PaperSingleton, Union, and Intersection Types for Program Extraction
Under an Elsevier user license
open archive
Cited by (0)
Copyright © 1994 Academic Press. All rights reserved.