Dependent Types with Subtyping and Late-Bound Overloading

Author： Castagna G.   Chen G.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.168, Iss.1, 2001-07, pp. : 1-67

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Sequent Calculus for Subtyping Polymorphic Types

By Tiuryn J.  

Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. : 345-369

Academic Press

Access to resources Recommend Favorite

The Subtyping Problem for Second-Order Types Is Undecidable

By Tiuryn J.   Urzyczyn P.  

Information and Computation, Vol. 179, Iss. 1, 2002-11 ,pp. : 1-18

Academic Press

Access to resources Recommend Favorite

Density Theorems for the Domains-with-Totality Semantics of Dependent Types

By Berger U.  

Applied Categorical Structures, Vol. 7, Iss. 1-2, 1999-06 ,pp. : 3-30

Springer Publishing Company

Access to resources Recommend Favorite

Systems composed of two types of nonidentical and dependent components

By  

Naval Research Logistics: An International Journal, Vol. 62, Iss. 5, 2015-08 ,pp. : 388-394

John Wiley & Sons Inc

Access to resources Recommend Favorite

Reactivity of Dinitrogen Bound to Mid‐ and Late‐Transition‐Metal Centers

By  

EUROPEAN JOURNAL OF INORGANIC CHEMISTRY (ELECTRONIC), Vol. 2015, Iss. 4, 2015-02 ,pp. : 567-598

John Wiley & Sons Inc

Access to resources Recommend Favorite