Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Subtyping Dependent Types David Aspinall Adriana Compagnoni*
 

Summary: 



Subtyping Dependent Types



David Aspinall Adriana Compagnoni*



LFCS, Division of Informatics Department of Computer Science

University of Edinburgh Stevens Institute of Technology

King's Buildings Castle Point on Hudson

Edinburgh EH9 3JZ, U. K. Hoboken, NJ 07030, U. S. A.

  

Source: Aspinall, David - School of Informatics, University of Edinburgh

 

Collections: Computer Technologies and Information Sciences