scientific article; zbMATH DE number 3700185

MaRDI QIDQ3893285zbMATH OpenFDO

Authors Mario Coppo

Publication date 1980

zbMATH Keywords

extended polymorphic type systemprogramming languagessemantic characterization of typed termssemantic correctnesstype assignement

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) 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

(7)

• A characterization of F-complete type assignments
• Types with intersection: An introduction
• Typing and computational properties of lambda expressions
• On Polymorphic Recursion, Type Systems, and Abstract Interpretation
• Intersection, Universally Quantified, and Reference Types
• Type inference for rank-2 intersection types using set unification
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Describes a project that uses

Uses Software

• LCF

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 Q3893285)