scientific article

zbMath0716.68013MaRDI QIDQ3204025

A. J. Kfoury, Jerzy Tiuryn, Paweł Urzyczyn

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order unificationpolymorphic \(\lambda \) -calculusType-check functional programs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01)

Related Items

Type inference in polymorphic type discipline ⋮ On the expressive power of finitely typed and universally polymorphic recursive procedures ⋮ On subsumption and semiunification in feature algebras ⋮ Type inference with partial types