Work

Subtyping dependent types

Year: 2002

Type: conference-paper

Source: ACM/IEEE Symposium on Logic in Computer Science (LICS)

DOI: 10.1109/lics.1996.561307

Authors: D. Aspinall, A. Compagnoni

Institutions: University of Edinburgh, Stevens Institute of Technology, University of Cambridge

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1527062704

FWCI: 2.079

Cites: 24

Cited by: 43

Related to: 10