A type inference algorithm for a stratified polymorphic type discipline

Authors:
Paola Giannini;Simona Ronchi Della Rocca
Affiliations:
-;-
Venue:
Information and Computation - Special conference issue: international conference on theoretical aspects of computer software
Year:
1994

Citing 0
Cited 3

Calculi, types and applications

Theoretical Computer Science
Type Inference for a Polynomial Lambda Calculus

Types for Proofs and Programs
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract