Work

Minimal typings in atomic subtyping

Year: 1997

Type: conference-paper

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

DOI: 10.1145/263699.263738

Author: Jakob Rehof

Institution: University of Copenhagen

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2052094697

FWCI: 1.474

Cites: 32

Cited by: 25

Related to: 10