Work

On Binary Methods

Year: 1995

Type: article

Source: Theory and Practice of Object Systems

DOI: 10.1002/j.1096-9942.1995.tb00019.x

Authors: Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, Benjamin Pierce

Institutions: Williams College, École Normale Supérieure - PSL, Johns Hopkins University, Iowa State University, University of Cambridge

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1525643703

FWCI: 20.55

Cites: 52

Cited by: 194

Related to: 10