Work

Efficient recursive subtyping

Year: 1993

Type: conference-paper

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

DOI: 10.1145/158511.158700

Authors: Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Institutions: Cornell University, Aalborg University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2094516550

FWCI: 4.763

Cites: 8

Cited by: 58

Related to: 10