Type Inference for Recursively Constrained Types and its Application to OOP

Publisher： Elsevier

ISSN： 1571-0661

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

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

Type inference for recursively constrained types and its application to OOP

By Eifrig J. Smith S. Trifonov V.

Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. : 326-326

Elsevier

Access to resources Recommend Favorite

A Polymorphic Environment Calculus and its Type-Inference Algorithm

By Nishizaki S-Y.

LISP and Symbolic Computation, Vol. 13, Iss. 3, 2000-09 ,pp. : 239-278

Springer Publishing Company

Access to resources Recommend Favorite

Human Abstract Logical Inference Control Thinking and Its Application

By Wang Peijin

Journal of Computational Intelligence and Electronic Systems, Vol. 1, Iss. 1, 2012-06 ,pp. : 126-130

American Scientific Publishers

Access to resources Recommend Favorite

Type inference for set theory

By Turner

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 951-974

Elsevier

Access to resources Recommend Favorite

Type-checking Balloon Types

By Almeida P.S.

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

Elsevier

Access to resources Recommend Favorite