Work

Typechecking and modules for multi-methods

Year: 1994

Type: conference-paper

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

DOI: 10.1145/191080.191083

Authors: Craig Chambers, Gary T. Leavens

Institutions: University of Washington, Iowa State University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

Awards: Formal Specification for C++ Programs, Design and Implementation of High-Productivity Programming Systems

OpenAlex ID: W2004403526

FWCI: 5.857

Cites: 65

Cited by: 51

Related to: 10