Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
Singleton, Union, and Intersection Types for Program Extraction
Home
Publications
Singleton, Union, and Intersection Types for Program Extraction
Singleton, Union, and Intersection Types for Program Extraction
Author:
SH
S. Hayashi
S. Hayashi
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Download PDF
Download
Publisher website
Google Scholar
1 February 1994
journal article
Published by
Elsevier
in
Information and Computation
Vol. 109
(1-2)
,
174-210
DOI:
10.1006/inco.1994.1016
Abstract
No abstract available
Keywords
UNION
SINGLETON
PROGRAM EXTRACTION
INTERSECTION TYPES FOR PROGRAM
Cited
Cited by 10 articles
Scroll to top