Work

Extensional polymorphism

Year: 1995

Type: conference-paper

Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/199448.199473

Authors: Catherine Dubois, François Rouaix, Pierre Weis

Institutions: Institut national de recherche en sciences et technologies du numérique, Université d'Évry Val-d'Essonne

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2293033370

FWCI: 1.276

Cites: 17

Cited by: 34

Related to: 10