Work

Parametric and Type-dependent Polymorphism

Year: 1995

Type: article

Source: Fundamenta Informaticae

DOI: 10.3233/fi-1995-22124

Author: Giuseppe Longo

Institutions: Centre National de la Recherche Scientifique, École Normale Supérieure - PSL

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2150647853

FWCI: 0.571

Cites: 40

Cited by: 9

Related to: 10