scientific article
From MaRDI portal
Publication:3893285
zbMath0447.68021MaRDI QIDQ3893285
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
programming languagessemantic correctnesstype assignementsemantic characterization of typed termsextended polymorphic type system
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (7)
A characterization of F-complete type assignments ⋮ Type inference for rank-2 intersection types using set unification ⋮ On Polymorphic Recursion, Type Systems, and Abstract Interpretation ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Types with intersection: An introduction ⋮ Typing and computational properties of lambda expressions ⋮ Intersection, Universally Quantified, and Reference Types
Uses Software
This page was built for publication:
