Work

Type Systems for Programming Languages

Year: 1990

Type: book-chapter

Source: Elsevier eBooks

DOI: 10.1016/b978-0-444-88074-1.50013-5

Author: John C. MITCHELL

Institution: Stanford University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1487166760

FWCI: 52.51

Cites: 119

Cited by: 251

Related to: 10