scientific article
From MaRDI portal
Publication:3811682
zbMath0661.68013MaRDI QIDQ3811682
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
multiple inheritancepolymorphic typestype-free lambda calculusobject-oriented programming languagespolymorphic fixed point rulesemantics for typestype inference calculus
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (3)
On the expressive power of finitely typed and universally polymorphic recursive procedures ⋮ Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus ⋮ On subsumption and semiunification in feature algebras
This page was built for publication:
