Optimal Representations of Polymorphic Types with Subtyping

Author： Aiken A.  

Publisher： Springer Publishing Company

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.12, Iss.3, 1999-10, pp. : 237-282

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

Polymorphic lambda calculus and subtyping

By Fiech  

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 111-140

Elsevier

Access to resources Recommend Favorite

Subtyping dependent types

By Aspinall D.   Compagnoni  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 273-309

Elsevier

Access to resources Recommend Favorite

Weak Behavioral Subtyping for Types with Mutable Objects

By Dhara K.K.   Leavens G.T.  

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-23

Elsevier

Access to resources Recommend Favorite

Higher-order subtyping

By Pierce B.   Steffen M.  

Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. : 235-282

Elsevier

Access to resources Recommend Favorite

Higher-order subtyping

By Pierce B.   Steffen M.  

Theoretical Computer Science, Vol. 184, Iss. 1, 1997-09 ,pp. : 247-247

Elsevier

Access to resources Recommend Favorite