Work

Types

Year: 1997

Type: book-chapter

Source: Elsevier eBooks

DOI: 10.1016/b978-044481714-3/50013-8

Author: Raymond Turner

Institution: University of Essex

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3021983301

FWCI: 0.926

Cites: 47

Cited by: 6

Related to: 10