Type Inference for Recursively Constrained Types and its Application to OOP

By Eifrig J.   Smith S.   Trifonov V.  

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

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