Work

Union types for object-oriented programming

Year: 2006

Type: conference-paper

Source: ACM Symposium on Applied Computing

DOI: 10.1145/1141277.1141610

Authors: Atsushi Igarashi, Hideshi Nagira

Institution: Kyoto University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Ministry of Education, Culture, Sports, Science and Technology, Japan Society for the Promotion of Science

OpenAlex ID: W1980389840

FWCI: 1.421

Cites: 13

Cited by: 26

Related to: 10