Publication:3674034
From MaRDI portal
zbMath0523.68011MaRDI QIDQ3674034
Publication date: 1983
polymorphism; functional programming; type inference; polymorphic type system; semantic characterization of typed terms
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
Related Items
Computability in higher types, P\(\omega\) and the completeness of type assignment, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, A characterization of F-complete type assignments, Constructing type systems over an operational semantics