Work

Type systems

Year: 1996

Type: article

Source: ACM Computing Surveys

DOI: 10.1145/234313.234418

Author: Luca Cardelli

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2294680933

FWCI: 13.11

Cites:

Cited by: 318

Related to: 10