OpenAlex | Strictness, totality, and non-standard-type inference

Strictness, totality, and non-standard-type inference

Work

Year: 2002

Type: article

Source: Theoretical Computer Science

Authors Mario Coppo, Ferruccio Damiani, Paola Giannini

Institutions University of Turin, Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

Cites: 24

Cited by: 15

Related to: 10

FWCI: 2.484

Citation percentile (by year/subfield): 81.93

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze