On Type Inference for Object-Oriented Programming Languages

Authors:
Hans Leiß
Affiliations:
-
Venue:
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Year:
1987

Citing 0
Cited 3

The undecidability of the semi-unification problem

STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
On subsumption and semiunification in feature algebras

Journal of Symbolic Computation
Type inference with polymorphic recursion

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract