Type inference, abstract interpretation and strictness analysis

Authors:
Mario Coppo;Alberto Ferrari
Affiliations:
-;-
Venue:
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Year:
1993

Citing 0
Cited 3

Strictness, totality, and non-standard-type inference

Theoretical Computer Science - Special issue on theories of types and proofs
Calculi, types and applications

Theoretical Computer Science
Characterizing convergent terms in object calculi via intersection types

TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications

Quantified Score

Hi-index	0.01

Visualization

Abstract