Work

Constrained types for object-oriented languages

Year: 2008

Type: conference-paper

Source: Conference on Object-Oriented Programming Systems, Languages, and Applications

DOI: 10.1145/1449764.1449800

Authors: Nathaniel Nystrom, Vijay Saraswat, Jens Palsberg, Christian Grothoff

Institutions: IBM (United States), IBM Research - Thomas J. Watson Research Center, University of California, Los Angeles, University of Denver

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2127053650

FWCI: 4.97

Cites: 64

Cited by: 53

Related to: 10