scientific article; zbMATH DE number 3829227

zbMATH Open0523.68011MaRDI QIDQ3674034FDOQ3674034

Mario Coppo, Elio Giovannetti

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

functional programmingpolymorphismtype inferencepolymorphic type systemsemantic characterization of typed terms

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited In (4)

• Constructing type systems over an operational semantics
• Computability in higher types, P\(\omega\) and the completeness of type assignment
• A characterization of F-complete type assignments
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3674034)