Work

Multiple dispatch as dispatch on Tuples

Year: 1998

Type: conference-paper

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

DOI: 10.1145/286936.286977

Authors: Gary T. Leavens, Todd D. Millstein

Institutions: Iowa State University, University of Washington

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

Award: Formal Methods for Multimethod Software Components

OpenAlex ID: W2091703106

FWCI: 2.064

Cites: 55

Cited by: 35

Related to: 10