A type inference algorithm for a stratified polymorphic type discipline

DOI10.1006/inco.1994.1015zbMath0822.68016OpenAlexW2062730120MaRDI QIDQ1322476

Paola Giannini, Simonetta Ronchi della Rocca

Publication date: 5 May 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1994.1015

zbMATH Keywords

polymorphic type assignment

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40)

Related Items

Type inference in polymorphic type discipline ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types ⋮ Type Inference for a Polynomial Lambda Calculus